ガード条件に優先順位をつけたい

ステートチャート図からのＣ言語ソースコード生成において質問があります。

ガード条件がソースコードとして生成される際に、ひとつの状態要素から複数の遷移がある場合、それぞれの遷移のガード条件について優先順位をつけたいのですが、方法はありますか？

優先順位とは、ソースコードとして生成されたときに優先順位の高い遷移のガード条件からif文が書かれていくことを指しています。

たとえば、状態Ａから、状態Ｂと状態Ｃに遷移する場合、

状態Ａ→[条件①Ｘが真である]→状態Ｂ

状態Ａ→[条件②Ｙが真である]→状態Ｃ

この順番でソースになった場合には、条件①が優先であり、条件②の判定を受けることはつまり、Ｘが真でないということを暗に意味しています。

逆に、

状態Ａ→[条件②Ｙが真である]→状態Ｃ

状態Ａ→[条件①Ｘが真である]→状態Ｂ

とソース生成されてしまうと、優先順位が高いはずの条件①が優先されない処理になってしまいます。

適切に処理させるためには、すべての分岐条件を網羅するようなガード条件を設定しなければならないのでしょうか？