Initial
State Kind
InitialPoint
Parent State
check_for_stopsignal