git-issue96.dfy(14,21): Warning: For expression "0 <= i && i < j && j < 5 ==> s[_t#0] == s[i]":
   /!\ No trigger covering all quantified variables found.

Dafny program verifier finished with 4 verified, 0 errors
