ステートマシン図の「チョイス」擬似状態において、どのガード条件も満たさない「else」遷移が存在しない場合、セマンティクス上のリスクは何か。

チョイスは動的評価のため、有効なパスが見つからないとシステムが不正な状態に陥る。