Error: No generic derivation of SPECIAL or TO_SPECIAL can be added to the
    system.
What to do: upgrade to the professional version of ISE Eiffel.
