Member predicate ReachableBasicBlock::strictlyPostDominates

Holds if this basic block strictly post-dominates bb.