SemanticChecker refactoring complete.