Learning for Dynamic subsumption