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