Predicate InconsistentCallOnResult::implicitCheckExpr

Holds if operation is implicitly called on v, and v is assigned the result of callToCheck.

predicate implicitCheckExpr(MethodAccess callToCheck, string operation, Variable v)