Lines Matching refs:oldSymbol
282 oldSymbol := d.contents(term)283 newSymbol := d.mapLocalSymbol(oldSymbol)284 if newSymbol != oldSymbol {