Predicate Make::SsaDefReaches::lastSsaRefExt
Holds if the reference to def at index i in basic block bb is the
last reference to v inside bb.
Import path
import codeql.ssa.Ssapredicate lastSsaRefExt(DefinitionExt def, SourceVariable v, BasicBlock bb, int i)