ComputationsLoop2.dfy(6,2): Error: cannot prove termination; try supplying a decreases clause
ComputationsLoop2.dfy(11,2): Error: cannot prove termination; try supplying a decreases clause
ComputationsLoop2.dfy(16,25): Error: assertion might not hold

Dafny program verifier finished with 0 verified, 3 errors
