Use macro for printing error in SolutionChecker