MAYBE
Time: 10.576155
TRS:
 {  f f x -> b(),
  f g a() -> f s g b(),
      g x -> f g x}
 DP:
  DP:
   {f# g a() -> f# s g b(),
    f# g a() -> g# b(),
        g# x -> f# g x,
        g# x -> g# x}
  TRS:
  {  f f x -> b(),
   f g a() -> f s g b(),
       g x -> f g x}
  UR:
   {  f f x -> b(),
    f g a() -> f s g b(),
        g x -> f g x}
   EDG:
    {(f# g a() -> g# b(), g# x -> g# x)
     (f# g a() -> g# b(), g# x -> f# g x)
     (g# x -> f# g x, f# g a() -> f# s g b())
     (g# x -> f# g x, f# g a() -> g# b())
     (g# x -> g# x, g# x -> f# g x)
     (g# x -> g# x, g# x -> g# x)}
    STATUS:
     arrows: 0.625000
     SCCS (1):
      Scc:
       {f# g a() -> g# b(),
            g# x -> f# g x,
            g# x -> g# x}
      
      SCC (3):
       Strict:
        {f# g a() -> g# b(),
             g# x -> f# g x,
             g# x -> g# x}
       Weak:
       {  f f x -> b(),
        f g a() -> f s g b(),
            g x -> f g x}
       Open