implemented SymbolTableChecker