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