Lace error: this error should not arise.
What to do: not an error. Please notify your ISE Eiffel supplier.