rulefiles:dequivalence