Extended_Finite_State_Machines.GExp_Lexorder