FSM_Tests.Minimisation