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