Predicate Make::SsaDefReaches::ssaRefNonPhiRead
Holds if the ith node of basic block bb is a reference to v, and
this reference is not a phi-read.
Import path
import codeql.ssa.Ssapredicate ssaRefNonPhiRead(BasicBlock bb, int i, SourceVariable v)