git-issue-3962.dfy(9,4): Info: ==
git-issue-3962.dfy(11,4): Info: ==
git-issue-3962.dfy(13,4): Info: ==
git-issue-3962.dfy(15,4): Info: ==
git-issue-3962.dfy(18,4): Info: ==
git-issue-3962.dfy(20,4): Info: ==
git-issue-3962.dfy(22,4): Info: ==
git-issue-3962.dfy(24,4): Info: ==
git-issue-3962.dfy(4,7): Info: <_T0(==)>
git-issue-3962.dfy(20,16): Error: the calculation step between the previous line and this line could not be proved
git-issue-3962.dfy(24,17): Error: the calculation step between the previous line and this line could not be proved

Dafny program verifier finished with 0 verified, 2 errors
