Come si risolvono tutti i problemi del genere: si fa la "traccia" (e magari pure il "flow-chart") e si vede, passo passo quel che succede.