Predicate InconsistentCallOnResult::exclude

predicate exclude(Method m)