YES
TRS:
 {a(b(x)) -> a(c(b(x)))}
 DP:
  Strict:
   {a#(b(x)) -> a#(c(b(x)))}
  Weak:
  {a(b(x)) -> a(c(b(x)))}
  EDG:
   {}
   SCCS:
    
    Qed