Definition of a non-terminal state in a state machine, i.e. one that has transitions.
Declaration :
Artifact : NON_TERMINAL_STATE