FunExperiments 275 % timbuk --fun 30 filterEvenBug.txt

term height= 1
term height= 2
term height= 3
term height= 4
Rejected: 72
term height= 5
Completion time: 1.240395 seconds

Found a counterexample:
-----------------------
Term app(app(exists,odd),app(app(filter,odd),cons(s(zero),cons(zero,nil)))) rewrites to a forbidden pattern