compile/duplicate-name

Generated from the language definition for language 1.0.

Summary: the same name is declared twice

Fix: rename one of the two declarations