Comprehensions.dfy(6,17): Warning: /!\ No terms found to trigger on.
Comprehensions.dfy(22,11): Warning: /!\ No terms found to trigger on.
Comprehensions.dfy(24,7): Warning: /!\ No terms found to trigger on.
Comprehensions.dfy(25,11): Warning: /!\ No terms found to trigger on.
Comprehensions.dfy(32,11): Warning: /!\ No trigger covering all quantified variables found.
Comprehensions.dfy(54,11): Warning: /!\ No terms found to trigger on.
Comprehensions.dfy(12,13): Error: assertion violation
Execution trace:
    (0,0): anon0
    (0,0): anon9_Then
    (0,0): anon10_Then
    (0,0): anon4
    (0,0): anon11_Then
    (0,0): anon12_Then
    (0,0): anon8

Dafny program verifier finished with 3 verified, 1 error
