Add more unit tests for SolutionCheckerTest