Member predicate ConditionBlock::controls

predicate controls(PreBasicBlock controlled, ConditionalSuccessor s)