Move TransitionMap out of rules namespace
Compute transitions correctly for long sequences