OpaqueConstants.dfy(11,20): Error: assertion might not hold
OpaqueConstants.dfy(26,20): Error: assertion might not hold
OpaqueConstants.dfy(56,16): Error: assertion might not hold
OpaqueConstants.dfy(58,15): Error: assertion might not hold
OpaqueConstants.dfy(60,15): Error: assertion might not hold
OpaqueConstants.dfy(73,38): Error: assertion might not hold
OpaqueConstants.dfy(82,21): Error: assertion might not hold
OpaqueConstants.dfy(84,24): Error: assertion might not hold
OpaqueConstants.dfy(86,24): Error: assertion might not hold
OpaqueConstants.dfy(99,47): Error: assertion might not hold

Dafny program verifier finished with 3 verified, 10 errors
