More work on tracking variables through temporaries, and displaying them. SSA makes this stuff a mess. One day though we'll get it all sorted out