git-issue-2303.dfy(5,10): Error: base type of newtype 'int0' is not fully determined; add an explicit type for bound variable 'x'
git-issue-2303.dfy(10,8): Error: type for constant 'x' is 'int0', but its initialization value type is 'int'
git-issue-2303.dfy(14,7): Error: base type of subset type 'int0' is not fully determined; add an explicit type for bound variable 'x'
3 resolution/type errors detected in git-issue-2303.dfy
