prohibit named objects on the > 1 level from abstract object

[maxonfjvipon]

This is EO code with syntax sugar:

[] > foo
  x > @
    y > a
      z > b

The canonical form of such code:

[] > foo
  z > b
  y $.b > a
  x $.a > @

The same structure will be in XMIR. With sugar:

<objects>
  <o base="x" name="@">
    <o base="y" name="a">
      <o base="z" name="b"/>
    </o>
  </o>
</objects>

The canonical:

<objects>
  <o base="x" name="@">
    <o base="$.a"/>
  </o>
  <o base="y" name="a">
    <o base="$.b"/>
  </o>
  <o base="z" name="b"/>
</objects>

The key point - only the FIRST-level children of abstract object (or <objects/> element) may have @name attribute, any @name attributes found deeper must be prohibited

The severity level is critical