@Override protected EconomicSet<FloatingReadNode> merge(Block merge, List<EconomicSet<FloatingReadNode>> states) { EconomicSet<FloatingReadNode> result = states.get(0); for (int i = 1; i < states.size(); ++i) { result.retainAll(states.get(i)); } return result; }