Improved flow-control tracing
Corrected bugs in tracing code