add isl_union_map_involves_dims