Member predicate ControlFlowGraph::ControlFlow::Internal::PreBasicBlocks::PreBasicBlock::dominates

predicate dominates(PreBasicBlock bb)