problem.hh: improve code coverage.