this tutorial test now correctly compiles, although it is quite stupid and does not work as it looks it should work (please read again Eiffel expanded rules)