simplify constraints after combining constraints from different sets
simplify constraints after combining constraints from different sets

UBERTC/isl,BenzoSM/isl,evaautomation/isl,Distrotech/isl,jleben/isl,Distrotech/isl,PollyLabs/isl,SaberMod/isl-current,inducer/isl-mirror,simbuerg/isl,abduld/isl,jleben/isl,pierrotdelalune/isl,Distrotech/isl,nicolasvasilache/isl,UBERTC/isl,abduld/isl,jleben/isl,UBERTC/isl,simbuerg/isl,BenzoSM/isl,abduld/isl,BobSaget-Mod/libisl,crossbuild/isl,PollyLabs/isl,inducer/isl-mirror,KangDroidSMProject/ISL,SaberMod/isl-current,inducer/isl-mirror,cfx-next/toolchain_isl-upstream,crossbuild/isl,abduld/isl,KangDroidSMProject/ISL,pierrotdelalune/isl,Distrotech/isl,Meinersbur/isl,cfx-next/toolchain_isl-upstream,BenzoSM/isl,serge-sans-paille/isl,KangDroidSMProject/ISL,nicolasvasilache/isl,serge-sans-paille/isl,Meinersbur/isl,serge-sans-paille/isl,tobig/isl,cfx-next/toolchain_isl-upstream,cfx-next/toolchain_isl-upstream,epowers/isl,BobSaget-Mod/libisl,BenzoSM/isl,VanirLLVM/toolchain_isl,BenzoSM/isl,PollyLabs/isl,nicolasvasilache/isl,inducer/isl-mirror,VanirLLVM/toolchain_isl,serge-sans-paille/isl,SaberMod/isl-current,jleben/isl,inducer/isl-mirror,simbuerg/isl,tobig/isl,pierrotdelalune/isl,simbuerg/isl,crossbuild/isl,nicolasvasilache/isl,evaautomation/isl,tobig/isl,VanirLLVM/toolchain_isl,crossbuild/isl,epowers/isl,jleben/isl,UBERTC/isl,KangDroidSMProject/ISL,epowers/isl,pierrotdelalune/isl,cfx-next/toolchain_isl-upstream,BobSaget-Mod/libisl,BobSaget-Mod/libisl,epowers/isl,Meinersbur/isl,epowers/isl,PollyLabs/isl,tobig/isl,simbuerg/isl,serge-sans-paille/isl,VanirLLVM/toolchain_isl,evaautomation/isl,KangDroidSMProject/ISL,pierrotdelalune/isl,VanirLLVM/toolchain_isl,evaautomation/isl,PollyLabs/isl,SaberMod/isl-current,nicolasvasilache/isl,Distrotech/isl,Meinersbur/isl,BobSaget-Mod/libisl