status_may_fail supported on SUS systems.
Comments improved.
Eiffel code updated.