Fixed controlFlowGraph to actually work.