DfaCallArguments (@NotNull DataFlowInterpreter interpreter, @NotNull DfaMemoryState memState) { DfaValue[] argValues = popCallArguments(interpreter, memState); final DfaValue qualifier = popQualifier(interpreter, memState, argValues); return new DfaCallArguments(qualifier, argValues, getMutationSignature()); }