Raise an error when a transition does not result in a state change; fixes #9.
Now, with added english.
Obviously, red error messages are better.