isl_map_plain_is_disjoint: handle inputs with different parameters
isl_map_plain_is_disjoint: handle inputs with different parameters

In particular, make sure we do not call isl_basic_map_plain_is_disjoint
if the input relations do not have the same parameters.

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

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