code: func (a *Automaton) nextTransition(t *Transition) {
  	// make sure there is still a transition left
  	assert((t.transitionUpto + 3 - a.states[2*t.source]) <= 3*a.states[2*t.source+1])
  	t.dest = a.transitions[t.transitionUpto]
  	t.min = a.transitions[t.transitionUpto+1]
  	t.max = a.transitions[t.transitionUpto+2]
  	t.transitionUpto += 3
  }
docs: /* Iterate to the next transition after the provided one */