static Set<Symbol> indexedTerms() {
  ret keys(ai_mainIndex());
}