public @NotNull DfaCallState withReturnValue(@NotNull DfaValue returnValue) {
    return new DfaCallState(myMemoryState, myCallArguments, returnValue);
  }
public @NotNull DfaCallState withReturnValue(@NotNull DfaValue returnValue)