Test phis in nested loops