Extended_Finite_State_Machines.Transition