Add a new test for Problem and fix a bug.