Add more unit test for SolutionChecker