YES
O(n)
TRS:
 {f() -> g(),
  c() -> f()}
 Natural interpretation:
  Strict:
   {f() -> g(),
    c() -> f()}
  Weak:
   {}
  Interpretation class: stronglylinear
  [g] = + 0
  [c] = + 2
  [f] = + 1
  
  Qed