Ops app:2 filter:0 zero:0 s:1 nz:0 nil:0 cons:2 ite:0 true:0 false:0
    exists:0 even:0 odd:0

Vars F X Y Z U Xs

TRS R1

    app(app(app(ite,true),X),Y) -> X
    app(app(app(ite,false),X),Y) -> Y
    
    app(even, zero) -> true
    app(odd, zero) -> false
    app(even, s(X)) -> app(odd, X)
    app(odd, s(X)) -> app(even, X)

    app(app(filter, X), nil) -> nil
    app(app(filter, X), cons(Y,Z)) -> 
           app(app(app(ite,app(X,Y)), cons(Y, app(app(filter, X), Z))), 
                     app(app(filter, X), Z))
                     
    app(app(exists, X), nil) -> false
    app(app(exists, X), cons(Y,Z)) ->
           app(app(app(ite,app(X,Y)), true), app(app(exists, X), Z))

SRegexp A0
        app(app(exists, odd), app(app(filter,odd),[cons([s(*|zero)],*|nil)]))

Automaton TC
States qb qn ql
Final States qb qn ql
Transitions
      true -> qb
      false -> qb
      zero -> qn
      s(qn) -> qn
      nil -> ql
      cons(qn,ql) -> ql

Patterns
        true