<?xml version="1.0" ?>
<test>
  <statechart>
    <!-- after events are always received as input events in a later big step -->
    <semantics
        big_step_maximality="*"
        combo_step_maximality="*"/>
    <root initial="s1">
      <state id="s1">
        <!-- '100' is not a duration -->
        <transition after="100" target="/s2"/>
      </state>
      <state id="s2"/>
    </root>
  </statechart>
  <output/>
</test>