Extracted ControlFlowGraph builder