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