Member predicate ConditionBlock :: controls
Holds if basic block controlled is controlled by this basic block with
conditional value s. That is, controlled can only be reached from
the callable entry point by going via the s edge out of this basic block.
predicate
controls
(
BasicBlock
controlled
,
ConditionalSuccessor
s
)