Predicate MakeUtils::guardDirectlyControlsSsaRead
Holds if guard directly controls the position controlled with the
value testIsTrue.
Import path
import codeql.rangeanalysis.internal.RangeUtilspredicate guardDirectlyControlsSsaRead(Guard guard, SsaReadPosition controlled, boolean testIsTrue)