Adapted SymbolResolver to v3.