code: ControlFlowGraph<Node> computeCFG() {
      logger.fine("Computing Control Flow Graph");
      Tracer tracer = newTracer("computeCFG");
      ControlFlowAnalysis cfa = new ControlFlowAnalysis(this, true, false);
      process(cfa);
      stopTracer(tracer, "computeCFG");
      return cfa.getCfg();
    }
docs: Control Flow Analysis.