An upgrade of Instruction.h. Now, we can do proves in .qh files.