Extended_Finite_State_Machines.Transition_Lexorder