YES
O(n^2)
TRS:
 {f() -> g(),
  c() -> f()}
 DUP: We consider a non-duplicating system.
  Trs:
   {f() -> g(),
    c() -> f()}
  Matrix Interpretation:
   Interpretation class: triangular
         [0]
   [g] = [0]
   
         [3]
   [c] = [0]
   
         [2]
   [f] = [0]
   
   
   Qed