Predicate LockOrderInconsistency::qualifiedMethodAccess

The method access ma to method m is qualified by an access to variable vQual and has an access to variable vArg as the argument at index i.

predicate qualifiedMethodAccess(MethodAccess ma, Method m, Variable vQual, int i, Variable vArg)