SUCCESS
0.19 (total time)

COMPLETED TRS
cons(x, nil) -> x
cdr(nil) -> nil
f(x, nil) -> nil
g(x, y) -> x