Initial
State Kind
InitialPoint
Parent State
checkforstopreqsignal