Predicate IncorrectCompareToSignature::compareToMethod

predicate compareToMethod(Method m, Type paramType)