public @NotNull DfaCallState withArguments(@NotNull DfaCallArguments arguments) {
    return new DfaCallState(myMemoryState, arguments, myReturnValue);
  }
public @NotNull DfaCallState withArguments(@NotNull DfaCallArguments arguments)