名前に大文字を含むリソースがあると、コンストラクタの引数で宣言される変数名とコンストラクタ内で使用される変数名が一致しない #45

モデル

channel CIO{
    out aUa(a, input(x:Int)) == x
}
channel C1{
    in aUa(a, update(x)) == x
    out aUb(b, update(x)) == x + 3
}

プロトタイプのAUaクラスのコンストラクタ

public AUa(AUb aUb) {
    this.aub = aub;
}

変数名が「aUb」ではなく,
「aub」になっている