avoid use of isl_constraint_add_div in isl_test
avoid use of isl_constraint_add_div in isl_test

At some point we want to remove isl_div entirely.

Signed-off-by: Sven Verdoolaege <e5350bbed4977f5eb8ae1dc6abd9ae59d21ace75@kotnet.org>

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