Removed stuff from SymbolResolver