MAYBE

Problem:
 top(sent(x)) -> top(check(rest(x)))
 rest(nil()) -> sent(nil())
 rest(cons(x,y)) -> sent(y)
 check(sent(x)) -> sent(check(x))
 check(rest(x)) -> rest(check(x))
 check(cons(x,y)) -> cons(check(x),y)
 check(cons(x,y)) -> cons(x,check(y))
 check(cons(x,y)) -> cons(x,y)

Proof:
 DP Processor:
  DPs:
   top#(sent(x)) -> rest#(x)
   top#(sent(x)) -> check#(rest(x))
   top#(sent(x)) -> top#(check(rest(x)))
   check#(sent(x)) -> check#(x)
   check#(rest(x)) -> check#(x)
   check#(rest(x)) -> rest#(check(x))
   check#(cons(x,y)) -> check#(x)
   check#(cons(x,y)) -> check#(y)
  TRS:
   top(sent(x)) -> top(check(rest(x)))
   rest(nil()) -> sent(nil())
   rest(cons(x,y)) -> sent(y)
   check(sent(x)) -> sent(check(x))
   check(rest(x)) -> rest(check(x))
   check(cons(x,y)) -> cons(check(x),y)
   check(cons(x,y)) -> cons(x,check(y))
   check(cons(x,y)) -> cons(x,y)
  EDG Processor:
   DPs:
    top#(sent(x)) -> rest#(x)
    top#(sent(x)) -> check#(rest(x))
    top#(sent(x)) -> top#(check(rest(x)))
    check#(sent(x)) -> check#(x)
    check#(rest(x)) -> check#(x)
    check#(rest(x)) -> rest#(check(x))
    check#(cons(x,y)) -> check#(x)
    check#(cons(x,y)) -> check#(y)
   TRS:
    top(sent(x)) -> top(check(rest(x)))
    rest(nil()) -> sent(nil())
    rest(cons(x,y)) -> sent(y)
    check(sent(x)) -> sent(check(x))
    check(rest(x)) -> rest(check(x))
    check(cons(x,y)) -> cons(check(x),y)
    check(cons(x,y)) -> cons(x,check(y))
    check(cons(x,y)) -> cons(x,y)
   graph:
    check#(cons(x,y)) -> check#(y) -> check#(sent(x)) -> check#(x)
    check#(cons(x,y)) -> check#(y) -> check#(rest(x)) -> check#(x)
    check#(cons(x,y)) -> check#(y) ->
    check#(rest(x)) -> rest#(check(x))
    check#(cons(x,y)) -> check#(y) -> check#(cons(x,y)) -> check#(x)
    check#(cons(x,y)) -> check#(y) -> check#(cons(x,y)) -> check#(y)
    check#(cons(x,y)) -> check#(x) -> check#(sent(x)) -> check#(x)
    check#(cons(x,y)) -> check#(x) -> check#(rest(x)) -> check#(x)
    check#(cons(x,y)) -> check#(x) ->
    check#(rest(x)) -> rest#(check(x))
    check#(cons(x,y)) -> check#(x) -> check#(cons(x,y)) -> check#(x)
    check#(cons(x,y)) -> check#(x) -> check#(cons(x,y)) -> check#(y)
    check#(rest(x)) -> check#(x) -> check#(sent(x)) -> check#(x)
    check#(rest(x)) -> check#(x) -> check#(rest(x)) -> check#(x)
    check#(rest(x)) -> check#(x) -> check#(rest(x)) -> rest#(check(x))
    check#(rest(x)) -> check#(x) -> check#(cons(x,y)) -> check#(x)
    check#(rest(x)) -> check#(x) -> check#(cons(x,y)) -> check#(y)
    check#(sent(x)) -> check#(x) -> check#(sent(x)) -> check#(x)
    check#(sent(x)) -> check#(x) -> check#(rest(x)) -> check#(x)
    check#(sent(x)) -> check#(x) -> check#(rest(x)) -> rest#(check(x))
    check#(sent(x)) -> check#(x) -> check#(cons(x,y)) -> check#(x)
    check#(sent(x)) -> check#(x) -> check#(cons(x,y)) -> check#(y)
    top#(sent(x)) -> check#(rest(x)) ->
    check#(sent(x)) -> check#(x)
    top#(sent(x)) -> check#(rest(x)) ->
    check#(rest(x)) -> check#(x)
    top#(sent(x)) -> check#(rest(x)) ->
    check#(rest(x)) -> rest#(check(x))
    top#(sent(x)) -> check#(rest(x)) ->
    check#(cons(x,y)) -> check#(x)
    top#(sent(x)) -> check#(rest(x)) ->
    check#(cons(x,y)) -> check#(y)
    top#(sent(x)) -> top#(check(rest(x))) ->
    top#(sent(x)) -> rest#(x)
    top#(sent(x)) -> top#(check(rest(x))) ->
    top#(sent(x)) -> check#(rest(x))
    top#(sent(x)) -> top#(check(rest(x))) -> top#(sent(x)) -> top#(check(rest(x)))
   SCC Processor:
    #sccs: 2
    #rules: 5
    #arcs: 28/64
    DPs:
     top#(sent(x)) -> top#(check(rest(x)))
    TRS:
     top(sent(x)) -> top(check(rest(x)))
     rest(nil()) -> sent(nil())
     rest(cons(x,y)) -> sent(y)
     check(sent(x)) -> sent(check(x))
     check(rest(x)) -> rest(check(x))
     check(cons(x,y)) -> cons(check(x),y)
     check(cons(x,y)) -> cons(x,check(y))
     check(cons(x,y)) -> cons(x,y)
    Open
    
    DPs:
     check#(cons(x,y)) -> check#(y)
     check#(cons(x,y)) -> check#(x)
     check#(rest(x)) -> check#(x)
     check#(sent(x)) -> check#(x)
    TRS:
     top(sent(x)) -> top(check(rest(x)))
     rest(nil()) -> sent(nil())
     rest(cons(x,y)) -> sent(y)
     check(sent(x)) -> sent(check(x))
     check(rest(x)) -> rest(check(x))
     check(cons(x,y)) -> cons(check(x),y)
     check(cons(x,y)) -> cons(x,check(y))
     check(cons(x,y)) -> cons(x,y)
    Open