refactored UnusedLocalEliminator