Add unit test: check_ConditionalTransition