Member predicate ReachableBasicBlock::strictlyDominates

Holds if this basic block strictly dominates bb.