loop-invariant.dfy(7,16): Error: this invariant could not be proved to be maintained by the loop
 Related message: loop invariant violation
 Asserted expression: 0 <= i <= 10

Dafny program verifier finished with 0 verified, 1 error
