Predicate SynchSetUnsynchGet::bothAccessVolatileField

Holds if get is a getter method for a volatile field that set writes to.

In this case, even if set is synchronized and get is not, get will never see stale values for the field, so synchronization is optional.

predicate bothAccessVolatileField(Method set, Method get)