
Dafny program verifier finished with 26 verified, 0 errors
Up 19 20 21 22 23
Up2 19 20 21 22 23
UpIf 19 20 22 24 26
CUp1 19 21 23 25 27
UpLet0 19 20 21 22 23
UpLet1 19 20 21 22 23
  yes
D  yes
DD  yes
DDD  yes
DDDv  no
DDDvv  no
  yes
D  yes
DD  yes
DDD  yes
DDDv  no
DDDvv  no
