Tests should detect duplicate problem logs

During #707 I found that our compiler tests don't detect when the exact same problem is reported twice. When it happens, it is an indication about unclear responsibilities among different parts of the implementation and should therefor be avoided.

With such detection enabled, I noticed that several more situations of redundant null annotations do contribute duplicate problems, which should be cleaned-up as well, thus hardening #683.