Predicate LockOrderInconsistency::badReentrantLockOrder

In one situation, a ReentrantLock is obtained on one variable in first and then on another variable in second, but elsewhere, the lock order is reversed by first obtaining a lock on the latter variable in otherFirst.

predicate badReentrantLockOrder(MethodAccess first, MethodAccess second, MethodAccess otherFirst)