FunExperiments 42 % timbuk --fung 30 orderedTreeTraversalBug.txt

term height= 1

term height= 2

term height= 3
Rejected: 2
term height= 4
Rejected: 9
term height= 5
Completion time: 0.205903 seconds


Found a counterexample:
-----------------------
Term sorted(traversalPre(Node(B,Node(A,Leaf,Leaf),Leaf))) rewrites to a forbidden pattern