MAYBE
Time: 0.004153
TRS:
 {         h g x -> g h f x,
           f a() -> g h a(),
  k(x, h x, a()) -> h x,
    k(f x, y, x) -> f x}
 DP:
  DP:
   {h# g x -> h# f x,
    h# g x -> f# x,
    f# a() -> h# a()}
  TRS:
  {         h g x -> g h f x,
            f a() -> g h a(),
   k(x, h x, a()) -> h x,
     k(f x, y, x) -> f x}
  EDG:
   {(h# g x -> h# f x, h# g x -> f# x)
    (h# g x -> h# f x, h# g x -> h# f x)
    (h# g x -> f# x, f# a() -> h# a())}
   EDG:
    {(h# g x -> h# f x, h# g x -> f# x)
     (h# g x -> h# f x, h# g x -> h# f x)}
    EDG:
     {(h# g x -> h# f x, h# g x -> f# x)
      (h# g x -> h# f x, h# g x -> h# f x)}
     STATUS:
      arrows: 0.777778
      SCCS (1):
       Scc:
        {h# g x -> h# f x}
       
       
       SCC (1):
        Strict:
         {h# g x -> h# f x}
        Weak:
        {         h g x -> g h f x,
                  f a() -> g h a(),
         k(x, h x, a()) -> h x,
           k(f x, y, x) -> f x}
        Open