(the second one could require incremental phi upda...
# announcements
k
(the second one could require incremental phi updating if they use SSA, it's an only challenging thing I can see here)