Error: generic substitution (this error should not arise).
What to do: please contact ISE Eiffel supplier. 
