Predicate LockOrderInconsistency::badMethodAccessLockOrder

A synchronized method outer accessed at outerAccess makes a synchronized method access in statement inner that is qualified by one of the parameters of outer, and there is another access to outer that may cause locking to be performed in a different order.

predicate badMethodAccessLockOrder(MethodAccess outerAccess, MethodAccess innerAccess, MethodAccess other)