「バグ：メンバ関数の事前条件と事後条件が継承されません。」
と書いてあるけど仕様ではこれらは継承されるとのこと。

すると、下のBase.funcのような純粋仮想関数でも事前条件を書かないと
まずいのだろうか?

class Base
{
　　abstract int func();
}

class Derived
{
　　override int func()
　　　　in
　　　　{
　　　　　　　　...
　　　　}
　　　　body
　　　　{
　　　　　　　　...
　　　　}
}

「in 契約を持たない関数が継承階層の中にあると、 その関数をオーバー
ライドした関数の in 契約は何も効果を持たないことになります。」
と書いてあるけども。