YES
Time: 0.000627
TRS:
 {      minus minus x -> x,
  +(minus x, +(x, y)) -> y,
  +(+(x, y), minus y) -> x,
        minux +(x, y) -> +(minus y, minus x)}
 DP:
  DP:
   {minux# +(x, y) -> minus# x,
    minux# +(x, y) -> minus# y,
    minux# +(x, y) -> +#(minus y, minus x)}
  TRS:
  {      minus minus x -> x,
   +(minus x, +(x, y)) -> y,
   +(+(x, y), minus y) -> x,
         minux +(x, y) -> +(minus y, minus x)}
  EDG:
   {}
   EDG:
    {}
    EDG:
     {}
     EDG:
      {}
      STATUS:
       arrows: 1.000000
       SCCS (0):