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