isl_union_map_is_subset: properly handle non-obviously empty subsets