YES
O(n)
TRS:
 {a(b(x)) -> a(c(b(x)))}
 DUP: We consider a non-duplicating system.
  Trs:
   {a(b(x)) -> a(c(b(x)))}
  BOUND:
   Automaton:
    {
     b_1(4) -> 5,
     b_0(3) -> 3,
     c_1(5) -> 6,
     c_0(3) -> 3,
     a_1(6) -> 7,
     a_0(3) -> 3,
          7 -> 3,
          3 -> 4
    }
   Strict:
    {}
   Qed