Predicate Cached::lastRefBeforeRedefExt

Holds if the reference to def at index i in basic block bb can reach another definition next of the same underlying source variable, without passing through another write or non-pseudo read.

The reference is either a read of def or def itself.