git-issue-326.dfy(13,14): Error: lower bound out of range
git-issue-326.dfy(17,14): Error: lower bound out of range
git-issue-326.dfy(25,14): Error: upper bound below lower bound or above length of sequence
git-issue-326.dfy(29,14): Error: upper bound below lower bound or above length of sequence
git-issue-326.dfy(33,14): Error: upper bound below lower bound or above length of sequence

Dafny program verifier finished with 2 verified, 5 errors
