Member predicate LazyInitStaticField::StaticMethod::bodyIsSynchronized

predicate bodyIsSynchronized()