Revisiting Out-of-SSA Translation for Correctness, Code Quality, and Efficiency http://hal.archives-ouvertes.fr/docs/00/34/99/25/PDF/OutSSA-RR.pdf, Algorithm 1

Generating ##copy instructions:

parallel-copy ( mapping -- insns )

parallel-copy-rep ( mapping -- insns )