Member predicate BasicBlock::ConditionBlock::controls

Holds if basic block controlled is controlled by this basic block with Boolean value testIsTrue. That is, controlled can only be reached from the callable entry point by going via the true edge (testIsTrue = true) or false edge (testIsTrue = false) out of this basic block.

predicate controls(BasicBlock controlled, boolean testIsTrue)