YES
Time: 0.018700
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())}
   STATUS:
    arrows: 0.750000
    SCCS (0):