o.O (strange SmartEiffel simplify behaviour??)