Basic tests for the transition rule.

This piece of functionality requires a lot more detailed rules, but this is a good start.