Predicate DeadLocals::read

A local variable with a read access.

predicate read(LocalScopeVariable v)