The Coq backend relies on the naming being unique for everything.
Some change to the naming broke this inveriant (#1108 (comment))
Adding a prefix, of which type of element is being generated should fix this.