exception - エッフェル例外が機能しない

Question

以下のクラスのように例外を使用しようとしていますが、kivetelメソッドを呼び出すとプログラムは常に失敗します。事後条件を満たすよりも、再試行部分を呼び出すだけだと思います。しかし、「y_above_zero」事後条件違反で失敗します。

class
KEYWORDS
create
    make
feature
    y:INTEGER

make
do
end

kivetel
do
ensure
    y__above_zero: y > 0
rescue
    y := 20
    retry
end
end