static bool hasIndexedTerm(S s) {
  S sKey = ai_shortenForIndex(s);
  if (!hasIndexedShortTerm(sKey)) false;
  ret sKey == s || cic(ai_expandShortenedKey(s), s);
}