[analyzer] update PHI nodes as we go