add isl_map_from_pw_aff