<?xml version="1.0" ?>
<test>
  <statechart>
    <!-- after events are always received as input events in a later big step -->
    <semantics
        big_step_maximality="take_one, take_many"
        combo_step_maximality="*"/>

    <outport name="out">
      <event name="in_2"/>
      <event name="in_3"/>
      <event name="in_4"/>
    </outport>

    <root initial="s1">
      <state id="s1">
        <transition after="100 ms" target="/s2"/>
        <transition after="200 ms" target="/s3"/>
      </state>
      <state id="s2">
        <onentry>
          <raise event="in_2"/>
        </onentry>
        <transition after="150 ms" target="/s4"/>
      </state>
      <state id="s3">
        <onentry>
          <raise event="in_3"/>
        </onentry>
      </state>
      <state id="s4">
        <onentry>
          <raise event="in_4"/>
        </onentry>
      </state>
    </root>
  </statechart>
  
  <output>
    <big_step>
      <event name="in_2" port="out"/>
    </big_step>
    <big_step>
      <event name="in_4" port="out"/>
    </big_step>
  </output>
</test>