Constant And Copy Propagation

Stratego -- Strategies for Program Transformation
When the current subject term is known for a match action, the bindings it induces can be propagated to the uses of the variables in the pattern. This is a data-flow optimization under development for StrategoRelease093.

-- EelcoVisser - 19 Jul 2003