Strategy Inlining

Stratego -- Strategies for Program Transformation
The strategy inlining component of the Stratego optimizer replaces calls to strategies with their body, allowing other optimizations to specialize the strategy to its arguments. In combination with worker wrapper splitting, inlining improves the result of pattern match compilation.

The current implementation (StrategoRelease093) applies rather crude heuristics for deciding which strategy definitions to inline. This should be improved based on benchmarks and inspection of intermediate code.

-- EelcoVisser - 17 Aug 2003