Member predicate IRBlock :: dominanceFrontier
Gets a block on the dominance frontier of this block.
The dominance frontier of block A is the set of blocks B such that block A does not
dominate block B, but block A does dominate an immediate predecessor of block B.