[ri4pp:2006] - Globalna analiza by "Marko Spasojevic" <markosp@EUnet.yu>

Zadatak 9

Zar ne bi trebalo da je posle 2. iteracije in1 = {y, z}?

Na pocetku je out1 = 0
Posto je posle 1. iteracije out1 = in2 = {y, z, pi}
Onda je posle 2. iteracije in1 = in1(posle 1. iteracije) + out1 - def =
{} + {y, z, pi} - {pi} = {y, z}
U 3. iteraciji dobijamo isti rezultat kao i u 2. iteraciji i tu se
algoritam zavrsava.

Rezultati util funkcija ostaju isti.