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