計算している状態変数の前のステップからの差分を取りたい場合、pre関数が使えるがこれはder(x)などで離散的になった変数にのみ使える。derを使っていない変数でpre関数を使って前の値を取得するにはdiscrete属性を変数につければ良い。