FSM_Tests.State_Separator