Member predicate GuardedControlFlow::ConditionBlock::controls

Basic blocks controlled by this condition, i.e. those BBs for which the condition is testIsTrue

predicate controls(BasicBlock controlled, boolean testIsTrue)