A stage with no transitions out IS terminal — structural, not declared. Reaching one completes the instance.
A stage with no transitions out IS terminal — structural, not declared. Reaching one completes the instance.