Member predicate IRBlock :: immediatelyDominates
Holds if this block immediately dominates block.
Block A immediate dominates block B if block A strictly dominates block B and block B
is a direct successor of block A.
predicate
immediatelyDominates
(
IRBlock
block
)