public @NotNull StandardMethodContract withReturnValue(@NotNull ContractReturnValue returnValue) {
    return returnValue.equals(getReturnValue()) ? this : new StandardMethodContract(myParameters, returnValue);
  }
public @NotNull StandardMethodContract withReturnValue(@NotNull ContractReturnValue returnValue)