[TA64] Pass Tests: Conditional Transition without @Conditional annotation

1. Add missing Annotations on @Conditional
2. Add getKeySet on ConditionMetaBuilder
3. Add newVerificationFailure into AnnotationBasedMetaBuilder
4. AddKeys while building ConditionMetaData
5. Partially implement StateMachineMetaBuilder
6. Moving Functions Syntax Verification into ConfigureFunctions from
build
7. Partially implement TransitionMetaBuilder
8. Add isConditional into TransitionMetadata interface
9. Re-organize error messages and Errors constants names
10. fix test bug