Lace error: Not an error. Should have been removed.
What to do: Notify your ISE Eiffel distributor.