I have to agree with Suresh in that I also thought inlining would have done the same thing. In general I think of contification as making the control flow more explicit (because it is than intra- vs. inter-procedural) and inlining does this to (in some cases). Perhaps it is worth some text or example about how contification does more or different things.