MAYBE

Problem:
 f(tt(),x) -> f(isList(x),x)
 isList(Cons(x,xs())) -> isList(xs())
 isList(nil()) -> tt()

Proof:
 DP Processor:
  DPs:
   f#(tt(),x) -> isList#(x)
   f#(tt(),x) -> f#(isList(x),x)
   isList#(Cons(x,xs())) -> isList#(xs())
  TRS:
   f(tt(),x) -> f(isList(x),x)
   isList(Cons(x,xs())) -> isList(xs())
   isList(nil()) -> tt()
  Usable Rule Processor:
   DPs:
    f#(tt(),x) -> isList#(x)
    f#(tt(),x) -> f#(isList(x),x)
    isList#(Cons(x,xs())) -> isList#(xs())
   TRS:
    isList(Cons(x,xs())) -> isList(xs())
    isList(nil()) -> tt()
   Open