Error: creation procedure violates system validity
  (this error should not occur).
What to do: check type validity; notify your ISE Eiffel supplier. 
