public @NotNull DfaCallState withMemoryState(@NotNull DfaMemoryState state) {
    return new DfaCallState(state, myCallArguments, myReturnValue);
  }
public @NotNull DfaCallState withMemoryState(@NotNull DfaMemoryState state)