Updated statechart picture