MAYBE
Time: 0.002507
TRS:
 {      *(x, x) -> x,
  *(x, *(y, z)) -> *(*(x, y), z)}
 DP:
  DP:
   {*#(x, *(y, z)) -> *#(x, y),
    *#(x, *(y, z)) -> *#(*(x, y), z)}
  TRS:
  {      *(x, x) -> x,
   *(x, *(y, z)) -> *(*(x, y), z)}
  EDG:
   {(*#(x, *(y, z)) -> *#(x, y), *#(x, *(y, z)) -> *#(x, y))
    (*#(x, *(y, z)) -> *#(x, y), *#(x, *(y, z)) -> *#(*(x, y), z))}
   STATUS:
    arrows: 0.500000
    SCCS (1):
     Scc:
      {*#(x, *(y, z)) -> *#(x, y)}
     
     SCC (1):
      Strict:
       {*#(x, *(y, z)) -> *#(x, y)}
      Weak:
      {      *(x, x) -> x,
       *(x, *(y, z)) -> *(*(x, y), z)}
      Open