Predicate Make :: lastRefExt
NB: If this predicate is exposed, it should be cached.
Holds if the node at index
bb is a last reference to SSA
That is, the node can reach the end of the enclosing callable, or another SSA definition for the underlying source variable, without passing through another read.
predicate lastRefExt ( DefinitionExt def , BasicBlock bb , int i )