TRS:
 {g(s(x)) -> f(x),
   f(0()) -> s(0()),
  f(s(x)) -> s(s(g(x))),
   g(0()) -> 0()}
 LMPO:
  Quasi-Precedence:
  g ~ f
  
Normal:
   pi(g) = [1], pi(f) = [1]
  
Safe:
   
  
Predicative System:
   {g(s(x;);) -> f(x;),
      f(0();) -> s(0();),
    f(s(x;);) -> s(s(g(x;););),
      g(0();) -> 0()}
  

   
  

  Qed