I suggest making prox_evaluations more explicit, for example: ```julia prox_evals += solver.substats.iter set_solver_specific!(stats, :prox_evals, prox_evals + 1) ``` what do you think @dpo @MaxenceGollier?