FSM_Tests.Empty_Convergence_Graph