git-issue-1207.dfy(17,9): Warning: Could not find a trigger for this quantifier. Without a trigger, the quantifier may cause brittle verification. To silence this warning, add an explicit trigger using the {:trigger} attribute. For more information, see the section quantifier instantiation rules in the reference manual.
git-issue-1207.dfy(29,9): Warning: Could not find a trigger for this quantifier. Without a trigger, the quantifier may cause brittle verification. To silence this warning, add an explicit trigger using the {:trigger} attribute. For more information, see the section quantifier instantiation rules in the reference manual.
git-issue-1207.dfy(41,9): Warning: Could not find a trigger for this quantifier. Without a trigger, the quantifier may cause brittle verification. To silence this warning, add an explicit trigger using the {:trigger} attribute. For more information, see the section quantifier instantiation rules in the reference manual.
git-issue-1207.dfy(47,9): Warning: Could not find a trigger for this quantifier. Without a trigger, the quantifier may cause brittle verification. To silence this warning, add an explicit trigger using the {:trigger} attribute. For more information, see the section quantifier instantiation rules in the reference manual.
git-issue-1207.dfy(48,9): Warning: Could not find a trigger for this quantifier. Without a trigger, the quantifier may cause brittle verification. To silence this warning, add an explicit trigger using the {:trigger} attribute. For more information, see the section quantifier instantiation rules in the reference manual.
git-issue-1207.dfy(10,9): Error: assertion might not hold
git-issue-1207.dfy(11,9): Error: assertion might not hold
git-issue-1207.dfy(14,9): Error: assertion might not hold
git-issue-1207.dfy(15,9): Error: assertion might not hold
git-issue-1207.dfy(16,9): Error: assertion might not hold
git-issue-1207.dfy(17,9): Error: assertion might not hold
git-issue-1207.dfy(18,9): Error: assertion might not hold
git-issue-1207.dfy(22,9): Error: assertion might not hold
git-issue-1207.dfy(23,9): Error: assertion might not hold
git-issue-1207.dfy(24,9): Error: assertion might not hold
git-issue-1207.dfy(26,9): Error: assertion might not hold
git-issue-1207.dfy(27,9): Error: assertion might not hold
git-issue-1207.dfy(28,9): Error: assertion might not hold
git-issue-1207.dfy(29,9): Error: assertion might not hold
git-issue-1207.dfy(30,9): Error: assertion might not hold
git-issue-1207.dfy(34,9): Error: assertion might not hold
git-issue-1207.dfy(35,9): Error: assertion might not hold
git-issue-1207.dfy(38,9): Error: assertion might not hold
git-issue-1207.dfy(39,9): Error: assertion might not hold
git-issue-1207.dfy(40,9): Error: assertion might not hold
git-issue-1207.dfy(41,9): Error: assertion might not hold
git-issue-1207.dfy(42,9): Error: assertion might not hold
git-issue-1207.dfy(43,9): Error: assertion might not hold
git-issue-1207.dfy(47,9): Error: assertion might not hold
git-issue-1207.dfy(48,9): Error: assertion might not hold
git-issue-1207.dfy(49,9): Error: assertion might not hold
git-issue-1207.dfy(50,9): Error: assertion might not hold
git-issue-1207.dfy(50,49): Error: index out of range
git-issue-1207.dfy(50,57): Error: index out of range
git-issue-1207.dfy(51,9): Error: assertion might not hold

Dafny program verifier finished with 0 verified, 30 errors
