vdm++ - VDM++ toolbox lite の不明なエラー

Question

私は VDM++ ツールボックス lite で VDM++ を実行しています。以下は私のコード例です。

class Course
types
public study :: numsubj : nat1
            sem : nat1;
public subjpersem = nat1;
operations
public getsubj:nat1 * nat1 ==>study
getsubj(numsubj,sem) == (
    subjpersem := numsubj/sem;
    );
end Course

コードを実行してみました。オブジェクトの作成に成功しましたが、print getsubj(10,2) を実行すると、Run-Time Error 120: Unknown state component というエラーが返されます。