docs: public ServiceCall<CounterexampleCollection> listCounterexamples(
        ListCounterexamplesOptions listCounterexamplesOptions) {
      Validator.notNull(listCounterexamplesOptions, "listCounterexamplesOptions cannot be null");
      String[] pathSegments = { "v1/workspaces", "counterexamples" };
      String[] pathParameters = { listCounterexamplesOptions.workspaceId() };
      RequestBuilder builder = RequestBuilder.get(RequestBuilder.constructHttpUrl(getEndPoint(), pathSegments,
          pathParameters));
      builder.query("version", versionDate);
      Map<String, String> sdkHeaders = SdkCommon.getSdkHeaders("conversation", "v1", "listCounterexamples");
      for (Entry<String, String> header : sdkHeaders.entrySet()) {
        builder.header(header.getKey(), header.getValue());
      }
      builder.header("Accept", "application/json");
      if (listCounterexamplesOptions.pageLimit() != null) {
        builder.query("page_limit", String.valueOf(listCounterexamplesOptions.pageLimit()));
      }
      if (listCounterexamplesOptions.includeCount() != null) {
        builder.query("include_count", String.valueOf(listCounterexamplesOptions.includeCount()));
      }
      if (listCounterexamplesOptions.sort() != null) {
        builder.query("sort", listCounterexamplesOptions.sort());
      }
      if (listCounterexamplesOptions.cursor() != null) {
        builder.query("cursor", listCounterexamplesOptions.cursor());
      }
      if (listCounterexamplesOptions.includeAudit() != null) {
        builder.query("include_audit", String.valueOf(listCounterexamplesOptions.includeAudit()));
      }
      return createServiceCall(builder.build(), ResponseConverterUtils.getObject(CounterexampleCollection.class));
    }