CHOからDFAへ交換|SimpleSwapでChoiseからDeFineへ変換