Further work on implementation of symbol tracing