Predicate LockOrderInconsistency::inDifferentRunnables

Holds if the specified method accesses occur in different Runnable.run() methods, indicating that they may be invoked by different threads.

predicate inDifferentRunnables(MethodAccess ma1, MethodAccess ma2)