In some cases the only difference between two identifiers is the letter
case. This must be allowed.