RequirementMachine: Mark rules as simplified in PropertyMap::addConcreteTypeProperty()
RequirementMachine: Mark rules as simplified in PropertyMap::addConcreteTypeProperty()

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