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