add isl_set_is_disjoint