optimize subsumption alg.