add isl_map_to_basic_set_dump