Holds if this data-flow node evaluates to value of v, which is a value entity, that is, a
constant, variable, field, function, or method.
predicate reads(ValueEntity v)Holds if this data-flow node evaluates to value of v, which is a value entity, that is, a
constant, variable, field, function, or method.
predicate reads(ValueEntity v)