TIMEOUT
MAYBE
Trs:
 {   ++(nil(), y) -> y,
   ++(.(x, y), z) -> .(x, ++(y, z)),
  ++(++(x, y), z) -> ++(x, ++(y, z)),
     ++(x, nil()) -> x}
 Open