while (changed.get()) {
changed.set(false);
cfg.resetVisited();
entryPoint.traversePreOrder(
new Function<ControlFlowNode, Iterable<ControlFlowNode>>() {
@Override
public final Iterable<ControlFlowNode> apply(final ControlFlowNode input) {
return input.getSuccessors();
}