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