Predicate guardControls_v1
INTERNAL: Use Guard.controls instead.
Holds if guard.controls(controlled, branch), except this only relies on
BaseSSA-based reasoning.
Import path
import semmle.code.java.controlflow.Guardspredicate guardControls_v1(Guard guard, BasicBlock controlled, boolean branch)