Holds if the specified method accesses occur on different branches of the same conditional statement inside an unsynchronized method.