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.Guards
predicate guardControls_v2(Guard guard, BasicBlock controlled, boolean branch)