static L<T3<S>> dm_gazelle_allRulesWithComment(fS comment) {
  ret [T3<S> t : dm_allRulesFromRulesModuleWithCommentsAndIDs()
    | cic(tlft(t.b), comment)];
}