reverseDoInstruction (SwapLet x y) s = doInstruction s (SwapLet y x)
reverseDoInstruction (SwapLet x y) s = doInstruction s (SwapLet y x)
reverseDoInstruction (SwapLet x y) s = doInstruction s (SwapLet y x)