Almost done with controlFlowGraph