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