Update documentation for DummySolverLastState.