Bugfix for duplicated SymbolRef