MAYBE
Time: 0.001515
TRS:
 {    *(x, 0()) -> 0(),
      *(1(), y) -> y,
  *(*(x, y), z) -> *(x, *(y, z)),
      *(i x, x) -> 1()}
 DP:
  DP:
   {*#(*(x, y), z) -> *#(x, *(y, z)),
    *#(*(x, y), z) -> *#(y, z)}
  TRS:
  {    *(x, 0()) -> 0(),
       *(1(), y) -> y,
   *(*(x, y), z) -> *(x, *(y, z)),
       *(i x, x) -> 1()}
  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, 0()) -> 0(),
           *(1(), y) -> y,
       *(*(x, y), z) -> *(x, *(y, z)),
           *(i x, x) -> 1()}
      Open