Member predicate Member::Callable::writes

Holds if field f may be assigned a value within the body of this callable.

predicate writes(Field f)