Member predicate Make::BasicBlock::strictlyPostDominates

Holds if this basic block strictly post-dominates basic block bb.

That is, all paths reaching a normal exit point basic block from basic block bb must go through this basic block and this basic block is different from bb.