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); } } }