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