total = isl_space_dim(eq->dim, isl_dim_all);
if (isl_local_space_dim(ls, isl_dim_all) != total)
isl_die(isl_local_space_get_ctx(ls), isl_error_invalid,
total = isl_space_dim(eq->dim, isl_dim_all);
if (isl_local_space_dim(ls, isl_dim_all) != total)
isl_die(isl_local_space_get_ctx(ls), isl_error_invalid,