YES
Time: 0.013802
TRS:
 {g(x, a(), b()) -> g(b(), b(), a())}
 DP:
  DP:
   {g#(x, a(), b()) -> g#(b(), b(), a())}
  TRS:
  {g(x, a(), b()) -> g(b(), b(), a())}
  UR:
   {}
   EDG:
    {}
    STATUS:
     arrows: 1.000000
     SCCS (0):