YES
TRS:
 {a(b(x)) -> b(b(a(x)))}
 DP:
  Strict:
   {a#(b(x)) -> a#(x)}
  Weak:
  {a(b(x)) -> b(b(a(x)))}
  EDG:
   {(a#(b(x)) -> a#(x), a#(b(x)) -> a#(x))}
   SCCS:
    Scc:
     {a#(b(x)) -> a#(x)}
    SCC:
     Strict:
      {a#(b(x)) -> a#(x)}
     Weak:
     {a(b(x)) -> b(b(a(x)))}
     SPSC:
      Simple Projection:
       pi(a#) = 0
      Strict:
       {}
      Qed