Application without @as attributes

In XMIR, all inner objects in applications must contain @as attributes.

Incorrect:

<o base="Φ.start" name="φ" line="2">
  <o base="Φ.x" line="3"/>
  <o base="Φ.y" line="4"/>
</o>

Correct:

<o base="Φ.start" name="φ" line="2">
  <o base="Φ.x" as="α0" line="3"/>
  <o base="Φ.y" as="α1" line="4"/>
</o>

Published on Fri Jul 10 07:32:17 UTC 2026.