The idea to return the symbol of the dynamic definition at the callee site will not work I think, because in `SymbolTests` there is no way to find out if the symbol now corresponds to the definition or the reference.

I will give the idea to merge the second traversal with the first one a deeper look.