static void ai_replaceTripleIndexWithTriples(L<TripleWeb> l) {
  TripleIndex i = tripleIndex();
  i.clear();
  for (TripleWeb w : l)
    i.addTriple(w);
  i.trimToSize();
}