checkSolution in framework and other utilities