Argument should conform to parent.
Upgrade to latest Eiffel syntax.