TRS: { eq() -> true(), eq() -> eq(), eq() -> false(), inf(X) -> cons(), take(0(), X) -> nil(), take(s(), cons()) -> cons(), length(nil()) -> 0(), length(cons()) -> s()} Fail