Recover Update_naive(), implement restart_var2()