static IterableIterator<Symbol> indexedTerms_iterator() {
  ret concurrentlyIterateKeys(ai_navigableShortTerms());
}