Function fetch_next_instruction 

pub fn fetch_next_instruction(current_instruction: Instruction) -> Instruction

Describe the control-flow for the verifier circuit.