Member predicate PreBasicBlock::immediatelyDominates

predicate immediatelyDominates(PreBasicBlock bb)