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 Tue Mar 31 07:20:22 UTC 2026.