This bug cannot be reproduced in workbench Eiffel Studio (svn revision#80583). And bug#13179 is fixed already.

Thanks for your report