RequirementMachine: When simplifying right hand sides, add new rules instead of mutating
RequirementMachine: When simplifying right hand sides, add new rules instead of mutating

We need to keep the original rules around for homotopy generators.

roambotics/swift,apple/swift,benlangmuir/swift,apple/swift,glessard/swift,atrick/swift,roambotics/swift,rudkx/swift,roambotics/swift,ahoppen/swift,JGiola/swift,gregomni/swift,rudkx/swift,xwu/swift,glessard/swift,xwu/swift,ahoppen/swift,rudkx/swift,xwu/swift,ahoppen/swift,xwu/swift,JGiola/swift,gregomni/swift,gregomni/swift,JGiola/swift,rudkx/swift,rudkx/swift,gregomni/swift,atrick/swift,ahoppen/swift,benlangmuir/swift,atrick/swift,roambotics/swift,glessard/swift,rudkx/swift,atrick/swift,xwu/swift,roambotics/swift,JGiola/swift,benlangmuir/swift,atrick/swift,JGiola/swift,benlangmuir/swift,apple/swift,xwu/swift,atrick/swift,benlangmuir/swift,glessard/swift,xwu/swift,glessard/swift,ahoppen/swift,gregomni/swift,gregomni/swift,apple/swift,apple/swift,ahoppen/swift,JGiola/swift,roambotics/swift,apple/swift,benlangmuir/swift,glessard/swift