FSM_Tests.R_Distinguishability