Predicate InconsistentCallOnResult::relevantFunctionCall

The method access ma is a call to m where the result is assigned.

predicate relevantFunctionCall(MethodAccess ma, Method m)