FSM_Tests.Distinguishability