Input TRS:
    1: top(sent(x)) -> top(check(rest(x)))
    2: rest(nil()) -> sent(nil())
    3: rest(cons(x,y)) -> sent(y)
    4: check(sent(x)) -> sent(check(x))
    5: check(rest(x)) -> rest(check(x))
    6: check(cons(x,y)) -> cons(check(x),y)
    7: check(cons(x,y)) -> cons(x,check(y))
    8: check(cons(x,y)) -> cons(x,y)
Number of Rules: 8
Direct QWPOS(Pol) ... failed.