Modified ControlFlowGraph.lhs to contain inEdges.