isl_basic_set_full_compression: detect equalities in input first
isl_basic_set_full_compression: detect equalities in input first

Without this explicit detection of equalities, some equalities
may be discovered in the middle of the computation, possibly
leading to the introduction of existentially quantified variables,
while callers of isl_basic_set_full_compression typically do not
want such variables.

Since the detection of equalities can in some cases be fairly expensive,
we may have to find a better way of dealing with this problem at some point.

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

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