#2: Fsm_VerifyStateSetTest::test_VerifyStateSet_DestinationHasNoState_ThrowsException()
#2: Fsm_VerifyStateSetTest::test_VerifyStateSet_DestinationRefersToAbsentState_ThrowsException()