Copy propagation


Two values are copy-equivalent if they are always identical at run-time ("DS" relation). This is just a weak form of value numbering.