sortIncr [3,1,3,5] == [1,3,3,5]
sortDecr [3,1,3,5] == [5,3,3,1]

postorder (sortIncr (Node 4 (Node 2 Null Null) (Leaf 3)) == [2,3,4]
postorder (sortDecr (Node 4 (Leaf 2) (Leaf 3))) == [4,3,2]

usortIncr [3,1,3,5] == [1,3,5]
usortDecr [3,1,3,5] == [5,3,1]

postorder (usortIncr (Node 4 (Node 3 (Node 2 Null Null) (Node 2 Null Null)) (Node 3 Null Null))) == [2,3,4]
postorder (usortDecr (Node 4 (Node 3 (Node 2 Null Null) (Node 2 Null Null)) (Node 3 Null Null))) == [4,3,2]

postorder (sortIncr (Node1 4 (Node2 5 7 (Node1 4 Nil Nil) Nil) (Node2 5 3 Nil Nil))) == [4,4,5,5]
postorder (sortDecr (Node1 4 (Node2 5 7 (Node1 4 Nil Nil) Nil) (Node2 5 3 Nil Nil))) == [5,5,4,4]

postorder (usortIncr (Node1 4 (Node2 5 7 (Node1 4 Nil Nil) Nil) (Node2 5 3 (Node2 5 3 Nil Nil) Nil))) == [4,5,5]
postorder (usortDecr (Node1 4 (Node2 5 7 (Node1 4 Nil Nil) Nil) (Node2 5 3 (Node2 5 3 Nil Nil) Nil))) == [5,5,4]


...wobei postorder als geeignet deklarierte Funktion zu denken ist, die
einen Argumentbaum in Postfixordnung durchlaeuft und die gefundenen
Benennungen in Form einer Liste abliefert. Beachten Sie, dass das
Resultat der Funktionen (u)sortIncr und (u)sortDecr auf Baeumen nicht
eindeutig festgelegt ist, sondern Freiheitsgrade offenlaesst.