MAYBE
Time: 0.002087
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))}
  UR:
   {.(.(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))}
    STATUS:
     arrows: 0.000000
     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))}
       Open