MAYBE
MAYBE
TRS:
 {
          zeros() -> cons(0()),
        and(tt()) -> X,
  length(cons(N)) -> s(length(L)),
    length(nil()) -> 0()
 }
 Fail