Error: invalid creation procedure. (This message should not appear.)
What to do: check creation instruction. Notify your ISE Eiffel supplier.