add isl_set_list_read_from_str