Predicate guardControls_v2
INTERNAL: Use Guards.controls instead.
Holds if guard.controls(controlled, branch), except this doesn’t rely on
RangeAnalysis.
Import path
import semmle.code.java.controlflow.Guardspredicate guardControls_v2(Guard guard, BasicBlock controlled, boolean branch)