refactoring of the trace aliasing