fix proof of evaluate_call_repl_step