code: @SuppressWarnings("unchecked")  // The type is always ControlFlowGraph<Node>
    public ControlFlowGraph<Node> getControlFlowGraph() {
      ControlFlowGraph<Node> result;
      Object o = cfgs.peek();
      if (o instanceof Node) {
        Node cfgRoot = (Node) o;
        ControlFlowAnalysis cfa = new ControlFlowAnalysis(compiler, false, true);
        cfa.process(null, cfgRoot);
        result = cfa.getCfg();
        cfgs.pop();
        cfgs.push(result);
      } else {
        result = (ControlFlowGraph<Node>) o;
      }
      return result;
    }
docs: Gets the control flow graph for the current JS scope.