Add more positive test for SolutionChecker