static L<T3<S>> dm_gazelle_rulesOnFacts() {
  ret filter(dm_allRulesFromRulesModuleWithCommentsAndIDs(), t -> contains(tlft(t.b), "in = fact"));
}