implement SymbolTester