YES
O(n)
TRS:
 {f(g(X)) -> f(X)}
 DUP: We consider a non-duplicating system.
  Trs:
   {f(g(X)) -> f(X)}
  BOUND:
   Automaton:
    {
     g_0(3) -> 3,
     g_0(2) -> 3,
     f_1(8) -> 9,
     f_1(4) -> 5,
     f_0(3) -> 2,
     f_0(2) -> 2,
          9 -> 2,
          5 -> 9 | 2,
          3 -> 8,
          2 -> 4
    }
   Strict:
    {}
   Qed