YES
Time: 0.000566
TRS:
 {f a() -> g a(),
    b() -> a(),
  g b() -> f b()}
 DP:
  DP:
   {f# a() -> g# a(),
    g# b() -> f# b()}
  TRS:
  {f a() -> g a(),
     b() -> a(),
   g b() -> f b()}
  EDG:
   {(g# b() -> f# b(), f# a() -> g# a())}
   SCCS (0):
    
    Qed