isl_coalesce.c: is_adj_eq_extension: check extension along multiple constraints