Implemented transition_unification.