FSM_Tests.Util_Refined