Member predicate PreBasicBlock::dominates

predicate dominates(PreBasicBlock bb)