We specify operationally a translation from a structured to an
unstructured imperative language, we point out how a compositional
specification gives rise to static chains of jumps, and, taking an
inspiration from the notion of continuation, we state a new
compositional specification that provably does not give rise to static
chains of jumps, redundant labels, and unused labels.
In SSA terms, this transformation yields a reduced number of
phi-nodes for conditional commands.
