TRS:
 {c() -> f(),
  f() -> g()}
 Cdiprover:
  Interpretation class: pizerosimplemixed
  Complexity bound: POLYTIME COMPUTABLE
  g = + 1
  c = + 3
  f = + 2
  
  Qed