static int ai_invalidateTerms(Collection<S> l) {
  int n = 0;
  for (S s : unnull(l))
    n += ai_invalidateWholeTerm(s);
  ret n;
}