add isl_union_set_reset_user