void () { EdgeType edgetype = EdgeType.REGULAR.unite(EdgeType.EXCEPTION); calcReachabilitySuppPoints(edgetype); for (Statement stat : statement.getStats()) { mapExtPostdominators.put(stat.id, factory.spawnEmptySet()); } iterateReachability((node, mapSets) -> { Integer nodeid = node.id; FastFixedSet<Integer> setReachability = mapSets.get(nodeid); for (Integer id : setReachability) { mapExtPostdominators.get(id).add(nodeid); } return false; }, edgetype); }