FSM_Tests.Test_Suite_Calculation_Refined