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