Minimal repros of false positives found in the Coverity C# static analyzer