add isl_union_map_read_from_str