#22: Fsm_VerifyStateSetTest::test_VerifyStateSet_InvalidTypeSymbolSet_ThrowsException_CertainState()