static void clearAICaches() {
  aiConceptsMap_clearCache();
  callOpt(mc(), "trueStatements_clearCache");
}