static void ai_clearTripleIndex() {
  tripleIndex().clear();
}