Stop saving see_infra