FSM_Tests.Intermediate_Implementations