static L<S> flexMatchICIndexedTerms(S pat) {
  new L<S> l;
  for (S s : indexedTerms())
    if (flexMatchIC(pat, s))
      l.add(s);
  ret l;
}