
Dafny program verifier finished with 0 verified, 0 errors

Dafny program verifier did not attempt verification
[Program halted] git-issue-643a.dfy(9,3): fails

Dafny program verifier did not attempt verification
[Program halted] git-issue-643a.dfy(9,3): fails

Dafny program verifier did not attempt verification
[Program halted] git-issue-643a.dfy(9,3): fails

Dafny program verifier did not attempt verification
[Program halted] git-issue-643a.dfy(9,3): fails
