rewrote merging and filtering of warnings + some new tests
merge warnings based on type diff
refined belief analysis