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
)