<?xml version="1.0" ?> <test> <statechart> <semantics/> <root> <state id="a"> <transition event="e"/> </state> </root> </statechart> <output> </output> </test>