For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
Holds if this guard evaluating to branch directly controls the block
controlled. That is, the true- or false-successor of this guard (as
given by branch) dominates controlled.
predicate directlyControls(BasicBlock controlled, boolean branch)