FSM_Tests.OFSM_Tables_Refined