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