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