NatTypes.dfy(10,4): Error: value does not satisfy the subset constraints of 'nat'
NatTypes.dfy(35,11): Error: value does not satisfy the subset constraints of 'nat'
NatTypes.dfy(44,31): Error: value does not satisfy the subset constraints of 'nat'
NatTypes.dfy(51,15): Error: assertion might not hold
NatTypes.dfy(54,15): Error: assertion might not hold
NatTypes.dfy(64,26): Error: value does not satisfy the subset constraints of 'nat'
NatTypes.dfy(71,15): Error: assertion might not hold
NatTypes.dfy(74,15): Error: assertion might not hold
NatTypes.dfy(91,15): Error: assertion might not hold
NatTypes.dfy(105,15): Error: assertion might not hold
NatTypes.dfy(141,44): Error: value does not satisfy the subset constraints of 'nat'
NatTypes.dfy(164,34): Error: value does not satisfy the subset constraints of 'nat'
NatTypes.dfy(184,16): Error: value does not satisfy the subset constraints of 'nat'

Dafny program verifier finished with 7 verified, 13 errors
