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