static Sym ai_findIndexedTerm(Sym term) {
  Sym s = ai_shortenForIndex(term);
  Sym result = ai_navigableShortTerms().floor(s);
  if (result == null) null;
  ret findInListIC(ai_expandShortenedKeys(result), term);
}