For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
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)