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