Member predicate Callable::reads

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