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