<?xml version="1.0" ?>
<test>
  <statechart>
    <semantics
      big_step_maximality="syntactic"
      input_event_lifeline="whole"/>

    <inport name="in">
      <event name="e"/>
    </inport>

    <outport name="out">
      <event name="in_b"/>
      <event name="in_c"/>
      <event name="in_d"/>
      <event name="in_f"/>
      <event name="in_g"/>
      <event name="in_h"/>
    </outport>

    <root>
      <parallel id="p">
        <state id="ortho0" initial="a">
          <state id="a">
            <transition event="e" target="../b"/>
          </state>
          <state id="b" stable="true">
            <onentry>
              <raise event="in_b"/>
            </onentry>
            <transition event="e" target="../c"/>
          </state>
          <state id="c">
            <onentry>
              <raise event="in_c"/>
            </onentry>
            <transition event="e" target="../d"/>
          </state>
          <state id="d" stable="true">
            <onentry>
              <raise event="in_d"/>
            </onentry>
          </state>
        </state>

        <state id="ortho1" initial="e">
          <state id="e">
            <transition event="e" target="../f"/>
          </state>
          <state id="f">
            <onentry>
              <raise event="in_f"/>
            </onentry>
            <transition event="e" target="../g"/>
          </state>
          <state id="g" stable="true">
            <onentry>
              <raise event="in_g"/>
            </onentry>
            <transition event="e" target="../h"/>
          </state>
          <state id="h" stable="true">
            <onentry>
              <raise event="in_h"/>
            </onentry>
          </state>
        </state>
      </parallel>
    </root>
  </statechart>

  <input>
    <event port="in" name="e" time="0 d"/>
    <event port="in" name="e" time="0 d"/>
  </input>

  <output>
    <big_step>
      <event port="out" name="in_b"/>
      <event port="out" name="in_f"/>
      <event port="out" name="in_g"/>
    </big_step>
    <big_step>
      <event port="out" name="in_c"/>
      <event port="out" name="in_h"/>
      <event port="out" name="in_d"/>
    </big_step>
  </output>
</test>