#2: Fsm_VerifyStateSetTest::test_VerifyStateSet_FirstStateIsEmpty_ThrowsException()
#2: Fsm_VerifyStateSetTest::test_VerifyStateSet_NonFirstStateIsEmpty_DoesNotThrowException()