implement basicblock tracing