Predicate DeadLocals::assigned

A local variable with a write access.

predicate assigned(LocalScopeVariable v)