Predicate InconsistentCallOnResult::checkedFunctionCall

The result of ma and a call to a method named operation are both assigned to the same variable.

predicate checkedFunctionCall(MethodAccess ma, string operation)