Update Instruction.h

We found this while testing the subcurrency.cll