Class ControlFlowGraphBuilder