static ai_hasTerm(S term) {
  S s = ai_shortenForIndex(term);
  if (s == term) ret keys(ai_mainIndex()).contains(term);
  ret cic(ai_expandShortenedKeys(s), term);
}