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