OlderVerification.dfy(34,16): Error: the 'older' parameter might be newer than the other parameter when the predicate returns 'true'
OlderVerification.dfy(42,16): Error: the 'older' parameter might be newer than the other parameter when the predicate returns 'true'
OlderVerification.dfy(89,18): Error: the 'older' parameter might be newer than all non-'older' parameters when the predicate returns 'true'
OlderVerification.dfy(141,18): Error: the 'older' parameter might be newer than all non-'older' parameters when the predicate returns 'true'
OlderVerification.dfy(168,18): Error: the 'older' parameter might be newer than all non-'older' parameters when the predicate returns 'true'
OlderVerification.dfy(263,18): Error: the 'older' parameter might be newer than all non-'older' parameters when the predicate returns 'true'
OlderVerification.dfy(267,18): Error: the 'older' parameter might be newer than the other parameter when the predicate returns 'true'
OlderVerification.dfy(271,18): Error: the 'older' parameter might be newer than all non-'older' parameters when the predicate returns 'true'
OlderVerification.dfy(275,18): Error: an 'older' parameter might be newer than all non-'older' parameters when the predicate returns 'true'
OlderVerification.dfy(279,18): Error: an 'older' parameter might be newer than the non-'older' parameter when the predicate returns 'true'
OlderVerification.dfy(283,18): Error: an 'older' parameter might be newer than all non-'older' parameters when the predicate returns 'true'
OlderVerification.dfy(288,20): Error: the 'older' parameter might be newer than the other parameter when the predicate returns 'true'
OlderVerification.dfy(292,20): Error: the 'older' parameter might be newer than all non-'older' parameters when the predicate returns 'true'

Dafny program verifier finished with 19 verified, 13 errors
