Using functional approach for cbranch_instruction_callback semantics.