FSM_Tests.Helper_Algorithms