このチェックリストのアイテムは変換のタイプの制約ですです
Modelifyの変換は現時点でC言語のソースコード内のswitchステートメントと第一級ラベルの間の宣言に対応していません。
宣言をswitchステートメントの前に移動し、当該の宣言の初期化が冪等であったと確実に指摘することが可能です。
ご不明な点はEメールにてEnSoftのサポートにお問い合わせ下さい（support@ensoftcorp.com）。