make the solver_state.iter semantic clearer