Predicate UnsynchronizedStaticAccess::correctlySynchronized

predicate correctlySynchronized(CollectionMember c, Expr access)