SUCCESS 0.42 (total time) COMPLETED TRS null(end(x, y)) -> false null(nil) -> true .(end(x, y), z) -> .(x, f(y, z)) .(nil, x) -> x f(x, end(y, z)) -> end(f(x, y), z) f(x, nil) -> end(nil, x) and(true, true) -> true eq(end(z, x), end(x4, y)) -> and(eq(x, y), eq(z, x4)) eq(end(x, y), nil) -> false eq(nil, end(x, y)) -> false eq(x, x) -> true