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