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