SUCCESS 0.25 (total time) COMPLETED TRS cons(x, nil) -> x cdr(nil) -> nil f(x, nil) -> nil g(x, y) -> x