Predicate read

A local variable with a read access.

Import path

import Violations_of_Best_Practice.Dead_Code.DeadLocals
predicate read(LocalScopeVariable v)