isl_map_intersect: detect empty result also in case of adding a single constraint