A bit more -ddump-tc tracing