Member predicate ControlFlowGraph::ControlFlow::Internal::PreBasicBlocks::ConditionBlock::controls

predicate controls(PreBasicBlock controlled, ConditionalSuccessor s)