リソースが複数の入出力チャンネルに接続されている時,プロトタイプの生成に失敗する #43

生成に失敗するモデルの例

channel CIO1 {
    out a(p:List, input1(x:Int)) == cons(x, p)
    out b(p:Int, input1(x)) == x    
    
}
channel CIO2 {
    out b(p:Int, reset(x)) == 0
}

生成可能の例

channel CIO1 {
    out a(p:List, input1(x:Int)) == cons(x, p)
    out b(p:Int, input1(x)) == x    
    out b(p:Int, reset(x)) == 0
}
channel CIO2 {

}