Member predicate Make::BasicBlock::postDominates

Holds if this basic block 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.