FunExperiments % timbuk --fun 30 insertionSortBug.txt

term height= 1

term height= 2

term height= 3

term height= 4
Rejected: 565
term height= 5
Completion time: 31.44336 seconds


Found a counterexample:
-----------------------
Term app(app(sorted,geq),app(app(sort,leq),cons(A,cons(B,nil)))) rewrites to a forbidden pattern