Member predicate ClassAnnotatedAsThreadSafe::notFullyMonitored

Holds if no monitor protects all accesses to the field f.