Predicate guardControls_v1

INTERNAL: Use Guards.controls instead.

Holds if guard.controls(controlled, branch), except this only relies on BaseSSA-based reasoning.

Import path

import semmle.code.java.controlflow.Guards
predicate guardControls_v1(Guard guard, BasicBlock controlled, boolean branch)