static Set<S> gazelle_allRulePurposes() {
  new TreeSet<S> purposes;
  for (T3S t : gazelle_allRuleTriples())
    addIfNotNull(purposes, gazelle_purposeFromComments(tlft(t.b)));
  ret purposes;
}