static bool ai_hasTerm(S term) {
  S s = ai_shortenForIndex(term);
  if (s == term)
    ret ai_mainIndexKeys().contains(term);
  else
    ret cic(ai_expandShortenedKeys(s), term);
}