rule subsumption correction