static IterableIterator<Symbol> indexedTerms_iterator() {
  ret concurrentlyIterateKeys((NavigableMap) ai_mainIndex().map);
}