HGS coverage reduction is implemented with very basic unit tests; Also
implemented AbstractReducer for generic HGS reduction techniques
(future)