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