Added more assertions to TestSolve.