svoid gazelle_dropMatchedDefaultRules(L<GazelleTree> l, O... _) {
  L<GazelleTree> l2 = filter(l, t -> !eqic(t.lineType, "temporary fact"));
  L<GazelleTree> defaults = [GazelleTree t : l2 | cic(t.ruleComments(), "default")];
  if (nempty(defaults) && l(defaults) < l(l2)) {
    if (boolPar debug(_)) {
      print("Removing default rules:");
      printIndentLines(defaults);
      print("Because there are also:");
      printIndentLines(listMinusSet(l2, defaults));
    }
    l.removeAll(defaults);
  }
}