MAYBE
Time: 0.053237
TRS:
 {f(0(), 1(), x) -> f(h x, h x, x),
           h 0() -> 0(),
       h g(x, y) -> y}
 DP:
  DP:
   {f#(0(), 1(), x) -> f#(h x, h x, x),
    f#(0(), 1(), x) -> h# x}
  TRS:
  {f(0(), 1(), x) -> f(h x, h x, x),
            h 0() -> 0(),
        h g(x, y) -> y}
  UR:
   {    h 0() -> 0(),
    h g(x, y) -> y,
      a(z, w) -> z,
      a(z, w) -> w}
   EDG:
    {(f#(0(), 1(), x) -> f#(h x, h x, x), f#(0(), 1(), x) -> f#(h x, h x, x))
     (f#(0(), 1(), x) -> f#(h x, h x, x), f#(0(), 1(), x) -> h# x)}
    STATUS:
     arrows: 0.500000
     SCCS (1):
      Scc:
       {f#(0(), 1(), x) -> f#(h x, h x, x)}
      
      SCC (1):
       Strict:
        {f#(0(), 1(), x) -> f#(h x, h x, x)}
       Weak:
       {f(0(), 1(), x) -> f(h x, h x, x),
                 h 0() -> 0(),
             h g(x, y) -> y}
       Fail