Add a Negative test for non-relational standalone composite statemachine.

1. Refine VerificationSet
2. Fix instable test failure of special transition type