implement backward subsumption removal