title: Eiffel exception not work
body: <p>I'm trying to use an exception like in the class below, but the program always fails when I call the <code>kivetel</code> method. I'd think that it'll just call retry part, than it will satisfy the postcondition. But it fails with "y_above_zero" postcond violation.</p>
  
  <pre><code>class
  KEYWORDS
  create
      make
  feature
      y:INTEGER
  
  make
  do
  end
  
  kivetel
  do
  ensure
      y__above_zero: y &gt; 0
  rescue
      y := 20
      retry
  end
  end
  </code></pre>