> For (2), you mean that a single variable might be left bound multiple > times. Yes, hence the violation of the "single" part of SSA. > I agree that the fix is local, but it "alters" the HandlerPush/Pop > structure of the program in a non-trivial(?) way. I disagree. It's a push right before the nontail call and a pop right after the return or handle.