static L<T3<S>> dm_gazelle_rulesOnFacts() {
  ret filter(dm_allRulesFromRulesModuleWithCommentsAndIDs(), t -> gazelle_isRuleOnFacts(t.a, t.b));
}