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