Extended_Finite_State_Machines.Trilean