Type error: violation of  general validity rule. This error should not occur.
What to do: check call validity. Notify your ISE Eiffel supplier.
