static Set<S> philosophyBot_varSet(PhilosophyBot1 bot) {
  ret predicateToSet(s -> bot.isVar(s));
}