Keep track of derived and original symbols.