Dead Definition Elimination

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

Implementation

• dead-def-elim

-- EelcoVisser - 18 Aug 2003