PHI: phi variables are misplaced

[vmihalko]

var0_phi. var2. var3 = 0;
var1_phi = 50;
do {
    var0_phi = var3;
    var1_phi = var2;
    var2 = var1_phi + 5 * (var1_phi > 49);
    var3 = var0_phi + 5;
} while (var3 != 100)

this is different program than:

var0_phi. var2. var3 = 0;
var1_phi = 50;
do {
    var2 = var1_phi + 5 * (var1_phi > 49);
    var3 = var0_phi + 5;
    var0_phi = var3;
    var1_phi = var2;
} while (var3 != 100)