Fixed a couple of bugs in control flow graph creation.
Made the control flow graph IEnumerable.