YES
Time: 0.000673
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())}
  EDG:
   {}
   SCCS (0):
    
    Qed