isl_map_simplify.c: uset_gist: break early if intersection is empty