svoid gazelle_dropMatchedDefaultRules(L l) { L defaults = [GazelleTree t : l | cic(t.ruleComments(), "default")]; if (nempty(defaults) && l(defaults) < l(l)) l.removeAll(defaults); }