A local variable with a write access.
A dead SSA variable. Excludes parameters, and phi nodes are never dead, so only includes
A dead SSA variable that is expected to be dead as indicated by an assertion.
An expression without side-effects.
A dead SSA variable that is overwritten by a live SSA definition.
A local variable with a read access.