Member predicate ClassAnnotatedAsThreadSafe::hasPublicWriteAccess

Holds if the class has a write access to the field f that can be reached via a public method.