Predicate Cached::lastRead

Holds if the read of def at read may be a last read. That is, read can either reach another definition of the underlying source variable or the end of the CFG scope, without passing through another non-pseudo read.