add isl_map_involves_dims