
Dafny program verifier finished with 0 verified, 0 errors
[Program halted] Expect.dfy(22,2): expectation violation

Dafny program verifier finished with 0 verified, 0 errors
[Program halted] Expect.dfy(22,2): expectation violation

Dafny program verifier finished with 0 verified, 0 errors
[Program halted] Expect.dfy(22,2): expectation violation

Dafny program verifier finished with 0 verified, 0 errors
[Program halted] Expect.dfy(22,2): expectation violation

Dafny program verifier finished with 0 verified, 0 errors
[Program halted] Expect.dfy(22,2): expectation violation
