Add unit test for SolutionChecker