Minor changes in rule subsumption to use lift <Karthik>