The initial transition should not have a label.