git-issue245.dfy(43,11): Error: the function must provide an equal or more detailed postcondition than in its parent trait
git-issue245.dfy(47,11): Error: the function must provide an equal or more detailed postcondition than in its parent trait
git-issue245.dfy(51,11): Error: the function must provide an equal or more detailed postcondition than in its parent trait
git-issue245.dfy(55,11): Error: the function must provide an equal or more detailed postcondition than in its parent trait
git-issue245.dfy(64,11): Error: the function must provide an equal or more detailed postcondition than in its parent trait
git-issue245.dfy(68,11): Error: the function must provide an equal or more detailed postcondition than in its parent trait
git-issue245.dfy(72,11): Error: the function must provide an equal or more detailed postcondition than in its parent trait
git-issue245.dfy(76,11): Error: the function must provide an equal or more detailed postcondition than in its parent trait
git-issue245.dfy(84,11): Error: a postcondition could not be proved on this return path
git-issue245.dfy(85,17): Related location: this is the postcondition that could not be proved
git-issue245.dfy(88,11): Error: a postcondition could not be proved on this return path
git-issue245.dfy(89,19): Related location: this is the postcondition that could not be proved
git-issue245.dfy(92,11): Error: a postcondition could not be proved on this return path
git-issue245.dfy(93,19): Related location: this is the postcondition that could not be proved
git-issue245.dfy(96,11): Error: a postcondition could not be proved on this return path
git-issue245.dfy(97,17): Related location: this is the postcondition that could not be proved

Dafny program verifier finished with 24 verified, 12 errors
