MAYBE
MAYBE
TRS:
 {
  f(c(s(x), y)) -> f(c(x, s(y))),
  g(c(x, s(y))) -> g(c(s(x), y)),
     g(s(f(x))) -> g(f(x))
 }
 Fail