MAYBE
Time: 0.001043
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}
  EDG:
   {(g# h x -> g# x, g# h x -> g# x)
    (f#(a(), h 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(), h x) -> f(g x, h x),
             g h x -> g x,
             h g x -> h a(),
             h h x -> x}
      Open