Member predicate IRBlock :: strictlyDominates
Holds if this block strictly dominates block.
Block A strictly dominates block B if block A dominates block B and blocks A and B
are not the same block.
predicate
strictlyDominates
(
IRBlock
block
)