Predicate DeadLocals::expectedDead

A dead SSA variable that is expected to be dead as indicated by an assertion.

predicate expectedDead(SsaExplicitUpdate ssa)