Member predicate Member::Callable::reads

Holds if field f may be read within the body of this callable.

predicate reads(Field f)