Holds if this guard evaluating to branch
directly or indirectly controls
the block controlled
. That is, the evaluation of controlled
is
dominated by this guard evaluating to branch
.
predicate
controls
(
BasicBlock
controlled
,
boolean
branch
)