Predicate guardControlsSsaRead
Holds if guard controls the position controlled with the value testIsTrue.
Import path
import semmle.code.java.dataflow.RangeUtilspredicate guardControlsSsaRead(Guard guard, SsaReadPosition controlled, boolean testIsTrue)