[[Constant and copy propagation]] performs a forward propagation of known term expressions. This may result in multiple of (parts of) the same term. A common-subexpression elimination component should undo the overhead caused by constant propagation by sharing builds of (sub)terms. -- Main.EelcoVisser - 17 Aug 2003