MAYBE
Time: 0.000603
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}
  UR:
   {f a() -> g 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)
     (f# a() -> h# a(), h# g x -> h# f x)
     (f# a() -> h# a(), h# g x -> f# x)
     (h# g x -> f# x, f# a() -> h# a())}
    STATUS:
     arrows: 0.444444
     SCCS (1):
      Scc:
       {h# g x -> h# f x,
        h# g x -> f# x,
        f# a() -> h# a()}
      
      SCC (3):
       Strict:
        {h# g x -> h# f x,
         h# g x -> f# x,
         f# a() -> h# a()}
       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