A dead SSA variable that is overwritten by a live SSA definition.
predicate overwritten(SsaExplicitUpdate ssa)