fix proofs in bytecode after replacing Print instr