Refactored SymbolDef