Predicate DeadLocals::overwritten

A dead SSA variable that is overwritten by a live SSA definition.

predicate overwritten(SsaExplicitUpdate ssa)