Pass tracer around in IR interpreter
Improve tracing output