FunExperiments 163 % timbuk --fung 30 insertionSortBug.txt 

term height= 1

term height= 2

term height= 3

term height= 4
Rejected: 6
term height= 5
Completion time: 0.593642 seconds


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