Predicate LockOrderInconsistency::inDifferentBranches
Holds if the specified method accesses occur on different branches of the same conditional statement inside an unsynchronized method.
predicate inDifferentBranches(MethodAccess ma1, MethodAccess ma2)