Member predicate PreBasicBlock::strictlyDominates

predicate strictlyDominates(PreBasicBlock bb)