Member predicate ConditionBlock :: controls
Holds if controlled
is a basic block controlled by this condition, that
is, a basic blocks for which the condition is testIsTrue
.
predicate
controls
(
BasicBlock
controlled
,
boolean
testIsTrue
)