YES
Input TRS:
      1: c() -> f()
      2: f() -> g()
Number of strict rules: 2
Direct POLO(bPol) ... removes: 1 2
      c 	w: 2
      f 	w: 1
      g 	w: 0
Number of strict rules: 0