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.