MAYBE
Time: 0.001121
TRS:
 {f(a(), x) -> f(g x, x),
      g h x -> g x,
      h g x -> h a(),
      h h x -> x}
 DP:
  DP:
   {f#(a(), x) -> f#(g x, x),
    f#(a(), x) -> g# x,
        g# h x -> g# x,
        h# g x -> h# a()}
  TRS:
  {f(a(), x) -> f(g x, x),
       g h x -> g x,
       h g x -> h a(),
       h h x -> x}
  UR:
   {  g h x -> g x,
    b(y, z) -> y,
    b(y, z) -> z}
   EDG:
    {(g# h x -> g# x, g# h x -> g# x)
     (h# g x -> h# a(), h# g x -> h# a())
     (f#(a(), x) -> f#(g x, x), f#(a(), x) -> f#(g x, x))
     (f#(a(), x) -> f#(g x, x), f#(a(), x) -> g# x)
     (f#(a(), x) -> g# x, g# h x -> g# x)}
    EDG:
     {(g# h x -> g# x, g# h x -> g# x)
      (f#(a(), x) -> f#(g x, x), f#(a(), x) -> f#(g x, x))
      (f#(a(), x) -> f#(g x, x), f#(a(), x) -> g# x)
      (f#(a(), x) -> g# x, g# h x -> g# x)}
     EDG:
      {(g# h x -> g# x, g# h x -> g# x)
       (f#(a(), x) -> g# x, g# h x -> g# x)}
      EDG:
       {(g# h x -> g# x, g# h x -> g# x)
        (f#(a(), x) -> g# x, g# h x -> g# x)}
       STATUS:
        arrows: 0.875000
        SCCS (1):
         Scc:
          {g# h x -> g# x}
         
         
         
         
         SCC (1):
          Strict:
           {g# h x -> g# x}
          Weak:
          {f(a(), x) -> f(g x, x),
               g h x -> g x,
               h g x -> h a(),
               h h x -> x}
          Open