Clarify number of allowed transitions leaving a state