accept_var_updates uses check_correctness param