TF237112: Default state cannot be inferred from transitions. Default state is defined by a transition from an empty state, ...