Dafny nightly-2022-08-10-c396e83

This is an automatically published nightly release. This release is not as stable as versioned releases and does not contain release notes.