docs: private static void trimZeros(IntList set)
    {
      // loop over ALL_ZEROS_LITERAL words
      int w;
      int last = set.length() - 1;
      do {
        w = set.get(last);
        if (w == ConciseSetUtils.ALL_ZEROS_LITERAL) {
          set.set(last, 0);
          last--;
        } else if (ConciseSetUtils.isZeroSequence(w)) {
          if (ConciseSetUtils.isSequenceWithNoBits(w)) {
            set.set(last, 0);
            last--;
          } else {
            // convert the sequence in a 1-bit literal word
            set.set(last, ConciseSetUtils.getLiteral(w, false));
            return;
          }
        } else {
          // one sequence or literal
          return;
        }
        if (set.isEmpty() || last == -1) {
          return;
        }
      } while (true);
    }