Predicate BasicBlock::bbIPostDominates

Holds if dom is an immediate post-dominator of bb.

predicate bbIPostDominates(BasicBlock dom, BasicBlock bb)