Member predicate PreBasicBlock::inDominanceFrontier

predicate inDominanceFrontier(PreBasicBlock df)