YES
TRS:
 {-(+(x, y), y) -> x,
  +(-(x, y), z) -> -(+(x, z), y)}
 DP:
  Strict:
   {+#(-(x, y), z) -> -#(+(x, z), y),
    +#(-(x, y), z) -> +#(x, z)}
  Weak:
  {-(+(x, y), y) -> x,
   +(-(x, y), z) -> -(+(x, z), y)}
  EDG:
   {(+#(-(x, y), z) -> +#(x, z), +#(-(x, y), z) -> +#(x, z))
    (+#(-(x, y), z) -> +#(x, z), +#(-(x, y), z) -> -#(+(x, z), y))}
   SCCS:
    Scc:
     {+#(-(x, y), z) -> +#(x, z)}
    SCC:
     Strict:
      {+#(-(x, y), z) -> +#(x, z)}
     Weak:
     {-(+(x, y), y) -> x,
      +(-(x, y), z) -> -(+(x, z), y)}
     SPSC:
      Simple Projection:
       pi(+#) = 0
      Strict:
       {}
      Qed