Member predicate Guards::Guard::controls

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)