SemanticChecker fixes