public static void connectDummyExitBlock(ControlFlowGraph graph) {
    BasicBlock exit = graph.getLast();
    for (BasicBlock block : new HashSet<>(exit.getPredecessors())) {
      exit.removePredecessor(block);
      block.addSuccessor(exit);
    }
  }
public static void connectDummyExitBlock(ControlFlowGraph graph)