具体的には、モデルにおけるチャンネルInputSelectArgAのHandsA、InputSelectArgBのHandsBの状態遷移関数で使用するSucceedSelectリソースで参照する値を間違っていたことが原因(Succeed~の第三引数ではなく、第二引数を参照していた)
これから動作テスト 未着手 ・テストケースを書く
