Enabled subsumption of clauses