Rename Subsumption algorithms