sccd/test_files/features/instate/test_instate_nested.xml

<test>
  <!-- Interestingly, compiling this test with Rust -O3 produces an equally sized binary as test_instate.xml. This means that the anonymous function in the guard of our first transition is being inlined by the compiler. We can conclude that Rust brings zero-cost abstractions to our action language :) -->
  <statechart>
    <inport>
      <event name="try"/>
      <event name="to_d"/>
    </inport>

    <outport>
      <event name="yes"/>
      <event name="no"/>
    </outport>
    
    <root>
      <parallel id="p">
        <state id="o0" initial="a">
          <state id="a">
            <transition port="in" event="try" target="../b" cond='func { return @in("/p/o1/d");  }()'>
              <raise port="out" event="yes"/>
            </transition>
            <transition port="in" event="try" target="." cond='not @in("/p/o1/d")'>
              <raise port="out" event="no"/>
            </transition>
          </state>
          <state id="b">
          </state>
        </state>

        <state id="o1" initial="c">
          <state id="c">
            <transition port="in" event="to_d" target="../d"/>
          </state>
          <state id="d">
          </state>
        </state>
      </parallel>
    </root>
  </statechart>

  <input>
    <event port="in" name="try" time="0 d"/>
    <event port="in" name="to_d" time="1 s"/>
    <event port="in" name="try" time="2 s"/>
  </input>

  <output>
    <big_step>
      <event port="out" name="no"/>
    </big_step>
    <big_step>
      <event port="out" name="yes"/>
    </big_step>  
  </output>
</test>