Fixed some bugs with symbols, tracing continued