proper implementation of isl_union_map_from_range