optimized merging of warnings by type diff
evaluation of individual merging and pruning techniques; filtering by size of type diff; bug fixes