MAYBE
MAYBE
TRS:
 {
      *(x, 0()) -> 0(),
      *(1(), y) -> y,
  *(*(x, y), z) -> *(x, *(y, z)),
     *(i(x), x) -> 1()
 }
 Fail