static Set<S> aiUsing_set = synchroTreeSet();

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

static L<Lisp> aiUsing(L<Lisp> l) {
  for (Lisp li : unnull(l)) aiUsing(li);
  ret l;
}

static Lisp aiUsing(Lisp l) {
  if (l != null) {
    aiUsing(l.head);
    for (Lisp sub : l) aiUsing(sub);
  }
  ret l;
}

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