Predicate SsaCached::lastRefRedefExt
Holds if the node at index i in bb is a last reference to SSA definition
def. The reference is last because it can reach another write next,
without passing through another read or write.
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaInternalspredicate lastRefRedefExt(DefinitionExt def, IRBlock bb, int i, DefinitionExt next)