WINTERMUTE: Explicitly hunt for duplicates in consistency check