
Dafny program verifier finished with 2 verified, 0 errors
map[Record.Make(null, null, _module.Class, 5, 10) := 0.8]
map[Record.Make(null, null, _module.Class, 4, 11) := 0.1]
map[Record.Make(null, null, _module.Class, 8, 12) := 0.1]
(5, null)
(5, null, 2)
{(5, null)}
{(5, null, 2)}
{null}
[null]
multiset{} multiset{null} multiset{null, null}
map[5 := null]
map[null := 5]
{{null}} multiset{{null}} [{null}] map[{null} := {null}]
{multiset{null}} multiset{multiset{null}} [multiset{null}] map[multiset{null} := multiset{null}]
{[null]} multiset{[null]} [[null]] map[[null] := [null]]
{map[null := null]} multiset{map[null := null]} [map[null := null]] map[map[null := null] := map[null := null]]
false false true true
true true false
true false
true false
false
false false
false false
true true

Dafny program verifier finished with 2 verified, 0 errors
map[Record.Make(null, null, _module.Class, 5, 10) := 0.8]
map[Record.Make(null, null, _module.Class, 4, 11) := 0.1]
map[Record.Make(null, null, _module.Class, 8, 12) := 0.1]
(5, null)
(5, null, 2)
{(5, null)}
{(5, null, 2)}
{null}
[null]
multiset{} multiset{null} multiset{null, null}
map[5 := null]
map[null := 5]
{{null}} multiset{{null}} [{null}] map[{null} := {null}]
{multiset{null}} multiset{multiset{null}} [multiset{null}] map[multiset{null} := multiset{null}]
{[null]} multiset{[null]} [[null]] map[[null] := [null]]
{map[null := null]} multiset{map[null := null]} [map[null := null]] map[map[null := null] := map[null := null]]
false false true true
true true false
true false
true false
false
false false
false false
true true
