add autodebugger annotations for basic blocks