SSA now works quite nicely for while and for loops.