Better printing of traces
Increase verbosity