git-issue-2500.dfy(21,12): Error: the function must provide an equal or more detailed postcondition than in its parent trait
git-issue-2500.dfy(24,12): Error: the function must provide an equal or more detailed postcondition than in its parent trait
git-issue-2500.dfy(33,12): Error: the function must provide an equal or more detailed postcondition than in its parent trait
git-issue-2500.dfy(37,12): Error: the function must provide an equal or more detailed postcondition than in its parent trait

Dafny program verifier finished with 26 verified, 4 errors
