TIMEOUT
MAYBE
Trs:
 {   *(i(x), x) -> 1(),
      *(1(), y) -> y,
  *(*(x, y), z) -> *(x, *(y, z)),
      *(x, 0()) -> 0()}
 Open