MAYBE
Time: 0.014044
TRS:
 {minus minus x -> x,
      minus h x -> h minus x,
  minus f(x, y) -> f(minus y, minus x)}
 DP:
  DP:
   {    minus# h x -> minus# x,
    minus# f(x, y) -> minus# x,
    minus# f(x, y) -> minus# y}
  TRS:
  {minus minus x -> x,
       minus h x -> h minus x,
   minus f(x, y) -> f(minus y, minus x)}
  UR:
   {}
   EDG:
    {(minus# h x -> minus# x, minus# f(x, y) -> minus# y)
     (minus# h x -> minus# x, minus# f(x, y) -> minus# x)
     (minus# h x -> minus# x, minus# h x -> minus# x)
     (minus# f(x, y) -> minus# x, minus# h x -> minus# x)
     (minus# f(x, y) -> minus# x, minus# f(x, y) -> minus# x)
     (minus# f(x, y) -> minus# x, minus# f(x, y) -> minus# y)
     (minus# f(x, y) -> minus# y, minus# h x -> minus# x)
     (minus# f(x, y) -> minus# y, minus# f(x, y) -> minus# x)
     (minus# f(x, y) -> minus# y, minus# f(x, y) -> minus# y)}
    STATUS:
     arrows: 0.000000
     SCCS (1):
      Scc:
       {    minus# h x -> minus# x,
        minus# f(x, y) -> minus# x,
        minus# f(x, y) -> minus# y}
      
      SCC (3):
       Strict:
        {    minus# h x -> minus# x,
         minus# f(x, y) -> minus# x,
         minus# f(x, y) -> minus# y}
       Weak:
       {minus minus x -> x,
            minus h x -> h minus x,
        minus f(x, y) -> f(minus y, minus x)}
       Open