
Dafny program verifier finished with 13 verified, 0 errors
These are the arbitrary values chosen by the compiler: 6, 12
short, short': 0, -35
nes: {57}
f0, f1: (0, false), (29, true)
dt: Dt.Atom(-35)
cl { u: 12, x: 0, r: 3.14, nes: {57} }
cl' { u: 12, x: 0, ': 3.14, nes: {57, 20} }

x: real :: 0.0 versus 0.0
ch: char :: 'D' versus '\0'
s: set :: {} versus {}
d: Xt :: _0_AdvancedZeroInitialization_Compile.Xt.MakeXt(0, []) versus _0_AdvancedZeroInitialization_Compile.Xt.MakeXt(0, [])
y: Yt<seq> :: _0_AdvancedZeroInitialization_Compile.Yt.MakeYt(0, []) versus _0_AdvancedZeroInitialization_Compile.Yt.MakeYt(0, [])
z: Yt<Even> :: _0_AdvancedZeroInitialization_Compile.Yt.MakeYt(0, 0) versus _0_AdvancedZeroInitialization_Compile.Yt.MakeYt(0, 0)

x: real :: 0.0 versus 0.0
ch: char :: 'D' versus '\0'
s: set :: {} versus {}
d: Xt :: _0_AdvancedZeroInitialization_Compile.Xt.MakeXt(0, []) versus _0_AdvancedZeroInitialization_Compile.Xt.MakeXt(0, [])
y: Yt<seq> :: _0_AdvancedZeroInitialization_Compile.Yt.MakeYt(0, []) versus _0_AdvancedZeroInitialization_Compile.Yt.MakeYt(0, [])
z: Yt<Even> :: _0_AdvancedZeroInitialization_Compile.Yt.MakeYt(0, 0) versus _0_AdvancedZeroInitialization_Compile.Yt.MakeYt(0, 0)
