Predicate Make::SsaDefReachesNew::ssaRef

Holds if the ith node of basic block bb is a reference to v, either a read (when k is Read()) or an SSA definition (when k is Def()).

Unlike Liveness::varRef, this includes phi nodes and pseudo-reads associated with uncertain writes.