cbranch_instruction_callback