--Non-deterministic for length 5!
reverseDoInstruction (RotateRBase c) s = fromJust
                                         $ find (\a -> doInstruction a (RotateRBase c) == s)
                                         $ map (doInstruction s . RotateR) [0..]
reverseDoInstruction (RotateRBase c) s = fromJust
                                         $ find (\a -> doInstruction a (RotateRBase c) == s)
                                         $ map (doInstruction s . RotateR) [0..]
reverseDoInstruction (RotateRBase c) s = fromJust
                                         $ find (\a -> doInstruction a (RotateRBase c) == s)
                                         $ map (doInstruction s . RotateR) [0..]