<?xml version="1.0" ?> <test> <statechart> <semantics/> <root> <!-- missing initial --> <state id="a"/> <state id="b"/> </root> </statechart> <output> </output> </test>