MAYBE
Time: 0.014716
TRS:
 {f(a(), h x) -> f(g x, h x),
        g h x -> g x,
        h g x -> h a(),
        h h x -> x}
 DP:
  DP:
   {f#(a(), h x) -> f#(g x, h x),
    f#(a(), h x) -> g# x,
          g# h x -> g# x,
          h# g x -> h# a()}
  TRS:
  {f(a(), h x) -> f(g x, h x),
         g h x -> g x,
         h g x -> h a(),
         h h x -> x}
  UR:
   {  g h x -> g x,
      h g x -> h a(),
      h h x -> 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(), h x) -> f#(g x, h x), f#(a(), h x) -> f#(g x, h x))
     (f#(a(), h x) -> f#(g x, h x), f#(a(), h x) -> g# x)
     (f#(a(), h x) -> g# x, g# h x -> g# x)}
    STATUS:
     arrows: 0.687500
     SCCS (3):
      Scc:
       {h# g x -> h# a()}
      Scc:
       {f#(a(), h x) -> f#(g x, h x)}
      Scc:
       {g# h x -> g# x}
      
      SCC (1):
       Strict:
        {h# g x -> h# a()}
       Weak:
       {f(a(), h x) -> f(g x, h x),
              g h x -> g x,
              h g x -> h a(),
              h h x -> x}
       Open
      SCC (1):
       Strict:
        {f#(a(), h x) -> f#(g x, h x)}
       Weak:
       {f(a(), h x) -> f(g x, h x),
              g h x -> g x,
              h g x -> h a(),
              h h x -> x}
       Open
      
      SCC (1):
       Strict:
        {g# h x -> g# x}
       Weak:
       {f(a(), h x) -> f(g x, h x),
              g h x -> g x,
              h g x -> h a(),
              h h x -> x}
       Open