errorLimit.dfy(5,13): Error: assertion might not hold
errorLimit.dfy(7,13): Error: assertion might not hold
errorLimit.dfy(9,13): Error: assertion might not hold
errorLimit.dfy(11,13): Error: assertion might not hold
errorLimit.dfy(13,13): Error: assertion might not hold
errorLimit.dfy(15,13): Error: assertion might not hold

Dafny program verifier finished with 0 verified, 6 errors
