After inlining definitions that are no longer referred to can be removed. The
=dead-def-elim= component of the [[Stratego optimizer]] achieves this.

Implementation

	* [[%SVNSTRATEGOXT%/StrategoXT/sc/spec/opt/dead-def-elim.str][dead-def-elim]]

-- Main.EelcoVisser - 18 Aug 2003