added implementation of some SemanticChecker functions