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

Dafny program verifier finished with 3 verified, 2 errors