Member predicate Callable::writes

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