Finished statechart