#2: Fsm_VerifyStateSetTest::test_VerifyStateSet_InvalidTypeSymbol_ThrowsException()
#2: Fsm_VerifyStateSetTest::test_VerifyStateSet_StateHasNoDefaultSymbol_DoesNotThrowException()
#2: Fsm_VerifyStateSetTest::test_VerifyStateSet_InvalidTypeDestination_ThrowsException()