For testing: I/O Statechart for the Modelverse