}
final ControlFlowGraph graph = buildGraph(body, (Label) block.getEntryGoto().getOperand());
graph.computeDominance();
graph.computeDominanceFrontier();
final Set<ControlFlowNode> cfNodes = new LinkedHashSet<>();
final List<ControlFlowNode> graphNodes = graph.getNodes();
for (int i = 3; i < graphNodes.size(); i++) {