Member predicate ClassAnnotatedAsThreadSafe::unlockedPublicAccess

Holds if the field access a to the field f is not protected by any monitor, and it can be reached via the expression e in the public method m.