UMLR — Duplicated xmi:id values in UML.xmi

The following `xmi:id` attribute values occur multiple times in the document. My understanding is that `xmi:id` attribute values are meant to be unique.

This looks like a copy/paste error. The given IDs are present within the `UML::StateMachine::State` class and within the `UML::StateMachine::Vertex` class. I suspect that the elements within the `Vertex` class should be prefixed with `Vertex-` instead of `State-`.

• State-isConsistentWith
• State-isConsistentWith-_ownedComment.0
• State-isConsistentWith-pre
• State-isConsistentWith-pre-_specification
• State-isConsistentWith-redefiningElement
• State-isConsistentWith-result
• State-isConsistentWith-spec
• State-isConsistentWith-spec-_specification