In SSA, how do you express the notion that a variable is no longer live after a particular program point? If I have two variables live upon entry to a block, but the last use of one precedes the last use of the other, how is that information expressed, or is your argument that it is more easily computed in an SSA framework than the current IL? -- sj