Predicate LockOrderInconsistency::inRunnable

The method access ma occurs in method runnable, which is an implementation of Runnable.run().

predicate inRunnable(MethodAccess ma, Method runnable)