
Dafny program verifier finished with 3 verified, 0 errors
50 58
Tree.Node(Tree.Node(Tree.Leaf, 5, Tree.Node(Tree.Leaf, 7, Tree.Leaf)), 9, Tree.Node(Tree.Leaf, 10, Tree.Node(Tree.Leaf, 12, Tree.Node(Tree.Leaf, 30, Tree.Leaf))))
5 7 9 10 12 30 
5 7
5 7

Dafny program verifier finished with 3 verified, 0 errors
50 58
Tree.Node(Tree.Node(Tree.Leaf, 5, Tree.Node(Tree.Leaf, 7, Tree.Leaf)), 9, Tree.Node(Tree.Leaf, 10, Tree.Node(Tree.Leaf, 12, Tree.Node(Tree.Leaf, 30, Tree.Leaf))))
5 7 9 10 12 30 
5 7
5 7

Dafny program verifier finished with 3 verified, 0 errors
50 58
Tree.Node(Tree.Node(Tree.Leaf, 5, Tree.Node(Tree.Leaf, 7, Tree.Leaf)), 9, Tree.Node(Tree.Leaf, 10, Tree.Node(Tree.Leaf, 12, Tree.Node(Tree.Leaf, 30, Tree.Leaf))))
5 7 9 10 12 30 
5 7
5 7
