Renamed state.transition to run, to unify the executation of the state
machinery between cpppo.state and cpppo.dfa.