returnInstr :: Opcode -> Instr
returnInstr opc = Instr $ do
  recordBranch Return
  op' opc
returnInstr :: Opcode -> Instr
returnInstr opc = Instr $ do
  recordBranch Return
  op' opc
returnInstr opc = Instr $ do
  recordBranch Return
  op' opc