Predicate DeadLocals::deadLocal

A dead SSA variable. Excludes parameters, and phi nodes are never dead, so only includes VariableUpdates.

predicate deadLocal(SsaExplicitUpdate ssa)