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
)