Error: invalid call (this error should not arise).
What to do: make sure call satisfies type rules. Contact ISE Eiffel supplier.