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