#2: Fsm_VerifyStateSetTest::test_VerifyStateSet_DestinationHasInvalidTypeAction_ThrowsException()
#2: Fsm_VerifyStateSetTest::test_VerifyStateSet_DestinationRefersToAbsentMethod_ThrowsException()