Refactoring CheckerImpl