条件分岐のノードをPromelaに変換する機能の修正を行った