Simulation of parse_instr

Guillaume Claret requested to merge guillaume-claret@more-parse-instr-proofs into master May 28, 2022