git-issue-4074.dfy(23,9): Warning: Members with {:only} temporarily disable the verification of other members in the entire file
git-issue-4074.dfy(4,7): Warning: Members with {:only} temporarily disable the verification of other members in the entire file
git-issue-4074.dfy(4,14): Warning: {:only} on members does not support arguments
git-issue-4074.dfy(13,9): Warning: Members with {:only} temporarily disable the verification of other members in the entire file
git-issue-4074.dfy(5,9): Error: assertion might not hold
git-issue-4074.dfy(14,11): Error: assertion might not hold
git-issue-4074.dfy(24,11): Error: assertion might not hold

Dafny program verifier finished with 0 verified, 3 errors
