.ignore for Eiffel programming language