Member predicate ReachableBasicBlock::postDominates

Holds if this basic block post-dominates bb.

This predicate is reflexive: each reachable basic block post-dominates itself.