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)