code: private String getTempConstantValueName() {
      String name =
          tempNamePrefix
              + "_const"
              + ContextualRenamer.UNIQUE_ID_SEPARATOR
              + safeNameIdSupplier.get();
      this.knownConstants.add(name);
      return name;
    }
docs: Create a constant unique temp name.