There are no base classes.
There are no implemented interfaces.
There are no attributes in this class.
Fixup bad order introduced by DFS.
Make sure all JUMP_FORWARDs jump forward
Fix one problem with DFS.
The DFS uses child block, but doesn't know about the special "next" block. As a result, the DFS can order blocks so that a block isn't next to the right block for implicit control transfers.
Return the blocks in reverse postorder
Return nodes appropriate for use with dominator