TRS:
 {    int(0(), 0()) -> .(0(), nil()),
     int(0(), s(y)) -> .(0(), int(s(0()), s(y))),
     int(s(x), 0()) -> nil(),
    int(s(x), s(y)) -> int_list(int(x, y)),
    int_list(nil()) -> nil(),
  int_list(.(x, y)) -> .(s(x), int_list(y))}
 Fail