>>650
例えば、ある配列型のインスタンス変数arrayについて
assertionでは a[i] <= a[i+1]としか表明していないけど
実装ではa[i+1] = a[i] + 1になっている場合を想定して、
subclassで実装したメソッドがa[i+1]=a[i]+1を前提にしている
というような場合も検出できるってこと？