Dafny505 comments


v20240901