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

static Cl<S> philosophyBot_allLHSAsStarPatterns(PhilosophyBot1 bot) {
  ret mapToCISet dollarVarsToStars(bot);
}