static Cl<S> philosophyBot_allLHSAsStarPatterns(S script) {
  ret mapToCISet dollarVarsToStars(philosophyBot_gatherAllLHS(script));
}

static Cl<S> philosophyBot_allLHSAsStarPatterns(PhilosophyBot1 bot) {
  ret mapToCISet(s -> philosophyBot_varsToStars(bot, s, null), philosophyBot_allLHS(bot));
}