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