Created Unassigned: Changing order in the code [46]

Hi,

The class in

http://rise4fun.com/Dafny/c98Am

is verified by Dafny,
but if you initialize first the non-ghost member of the class, like in

http://rise4fun.com/Dafny/KSyt

then Dafny doesn't verify the code.