Predicate isReceiverSuppressingCall

Holds if c is a call of the form (dummy, e[p])(...), where dummy is some expression whose value is discarded, and which simply exists to prevent the call from being interpreted as a method call.

Import path

import Expressions.ExprHasNoEffect

predicate isReceiverSuppressingCall(CallExpr c, Expr dummy, PropAccess callee)