TRS:
 {                 f(0()) -> true(),
                   f(1()) -> false(),
                  f(s(x)) -> f(x),
   if(true(), s(x), s(y)) -> s(x),
  if(false(), s(x), s(y)) -> s(y),
               g(x, c(y)) -> c(g(x, y)),
               g(x, c(y)) -> g(x, if(f(x), c(g(s(x), y)), c(y)))}
 Fail