Multiple passes will need to iterate over EBBs in a dominator-topological order. Move that functionality into a separate module.
Multiple passes will need to iterate over EBBs in a dominator-topological order. Move that functionality into a separate module.