[TA64][Transition Validity][Conditional Tansition]If the function’s value state set size greater than 1, then it must be a condition function

1. Add Positive Test Case
2. Add Negative Test Case
3. Refactoring Conditional Annotation to wire Judger Utility class and
Condition Class