Error: invalid call (this error should not arise). 
What to do: check call validity; report error to your ISE Eiffel supplier. 
