TraitOverride1.dfy(200,9): Error: the method must provide an equal or more detailed postcondition than in its parent trait
Execution trace:
    (0,0): anon0
TraitOverride1.dfy(205,2): Error BP5003: A postcondition might not hold on this return path.
TraitOverride1.dfy(204,40): Related location: This is the postcondition that might not hold.
TraitOverride1.dfy(188,26): Related location
Execution trace:
    (0,0): anon0

Dafny program verifier finished with 29 verified, 2 errors
