svoid gazelle_dropMatchedDefaultRules(L<GazelleTree> l, O... _) {
  L<GazelleTree> l2 = filter(l, t -> !eqic(t.lineType, "temporary fact"));
  
  new Set<S> trumped;
  for (GazelleTree t : l2)
    addAll(trumped, matchAll_first("trumps rule *", t.ruleComments()));
    
  L<GazelleTree> trumped = [GazelleTree t : l2 |
       contains(t.ruleComments(), "default")
    || trumped.contains(t.ruleID())];

  if (nempty(defaults) && l(defaults) < l(l2)) {
    if (boolPar debug(_) || boolPar debugDefaults(_)) {
      print("Removing default/trumped rules:");
      printIndentLines(defaults);
      print("Because there are also:");
      printIndentLines(listMinusSet(l2, defaults));
    }
    l.removeAll(defaults);
  }
}