Refinement of backtrace printing