Skeletons.dfy(27,11): Warning: the ... refinement feature in statements is deprecated
Skeletons.dfy(29,11): Warning: the ... refinement feature in statements is deprecated
Skeletons.dfy(31,7): Warning: the ... refinement feature in statements is deprecated
Skeletons.dfy(32,10): Warning: the ... refinement feature in statements is deprecated
Skeletons.dfy(60,7): Warning: the ... refinement feature in statements is deprecated
Skeletons.dfy(62,6): Warning: the ... refinement feature in statements is deprecated
Skeletons.dfy(64,7): Warning: the ... refinement feature in statements is deprecated
Skeletons.dfy(45,2): Error: a postcondition could not be proved on this return path
Skeletons.dfy(44,14): Related location: this is the postcondition that could not be proved

Dafny program verifier finished with 4 verified, 1 error
