YES(?,O(n^1))
TRS:
 {f f x -> f x,
  g 0() -> g f 0()}
 DUP: We consider a non-duplicating system.
  Trs:
   {f f x -> f x,
    g 0() -> g f 0()}
  RLAB:
   Strict:
    {
       f(f) f(f) x -> f(f) x,
       f(f) f(g) x -> f(g) x,
       f(f) f(0) x -> f(0) x,
     g(0) 0() -> g(f) f(0) 0()
    }
   Weak:
    {}
   Natural interpretation:
    Strict:
     {
        f(f) f(f) x -> f(f) x,
        f(f) f(g) x -> f(g) x,
        f(f) f(0) x -> f(0) x,
      g(0) 0() -> g(f) f(0) 0()
     }
    Weak:
     {}
    Interpretation class: stronglylinear
    [0] = + 7
    [g(2)](X0) = + 1*X0 + 3
    [g(0)](X0) = + 1*X0 + 0
    [f(2)](X0) = + 1*X0 + 1
    [f(1)](X0) = + 1*X0 + 0
    [f(0)](X0) = + 1*X0 + 7
    
    Qed