Member predicate Member::Callable::accesses

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

predicate accesses(Field f)