implement the rollbacking::control_flow_instruction