static Set<S> aiUsing_set = synchroTreeSet();

static S aiUsing(S s) {
  aiUsing_set.addAll(aggressivelyCollectPossibleGlobalIDs(s));
  ret s;
}

static void aiUsing_print() {
  print("AI concepts used: " + aiUsing_set);
}