Show every message only once, even if Dafny output duplicates them
Show every message only once, even if Dafny output duplicates them

This only happens because of a bug in the Owicki-Gries component of
Dafny, leading to some stdout error messages being duplicated.

Alchiadus/dafny-workbench