add isl_space_cmp