private void processLocation(
Node n, LocationIdentity location, Set<FloatingReadNode> currentState) {
assert n != null;
if (location.isImmutable()) {
return;
}
for (FloatingReadNode r : cloneState(currentState)) {
if (r.getLocationIdentity().overlaps(location)) {
// This read is killed by this location.
currentState.remove(r);
}
}
}
