This is a known issue, our implementation uses an exact match to the lower case version of the argument name. It is indeed different from the standard specification which allows case insensitivity equality. For the time being, we would recommend using the Eiffel convention of using arguments in lowercase.