<?xml version="1.0" ?>
<test>
  <statechart>
    <semantics/>

    <datamodel>
      x = 5;
    </datamodel>

    <root initial="a">
      <state id="a">
        <onentry>
          <code>
            greeting = "hello";
            x = greeting; <!-- 'x' is already declared as integer at instance level -->
          </code>
        </onentry>
      </state>
    </root>
  </statechart>

  <output>
  </output>
</test>