docs: public GeneralizedCounter<K> conditionalizeOnce(K o) {
      if (depth() < 1) {
        throw new RuntimeException("Error -- attempted to conditionalize a GeneralizedCounter of depth " + depth());
      } else {
        return conditionalizeHelper(o);
      }
    }