Predicate BasicBlock::bbIDominates

Holds if dom is an immediate dominator of bb.

predicate bbIDominates(BasicBlock dom, BasicBlock bb)