Duplicate @as Attribute

In XMIR, objects must not have duplicate @as attributes.

Incorrect:

<o base="foo">
  <o base="Φ.f1" as="bar"/>
  <o base="Φ.f1" as="bar"/>
</o>

Correct:

<o base="foo">
  <o base="Φ.f1" as="bar"/>
  <o base="Φ.f1" as="buzz"/>
</o>

Published on Fri Oct 10 22:54:10 UTC 2025.