同期有限ステート マシン (FSM) コンポーネントに特定の推論機能。 最適化の目標に対応したビルトイン FSM エンコード ストラテジ。 FSM 抽出はデフォルトでイネーブル。 FSM 抽出をディスエーブルにするには -fsm_extraction off を使用。