Tuples.dfy(22,18): Error: assertion violation
Execution trace:
    (0,0): anon0
Tuples.dfy(24,20): Error: possible division by zero
Execution trace:
    (0,0): anon0

Dafny program verifier finished with 0 verified, 2 errors
