tracing: optimization of branch tracer