MAYBE
MAYBE
TRS:
 {
          +(*(x, y), *(x, z)) -> *(x, +(y, z)),
  +(*(x, y), +(*(x, z), u())) -> +(*(x, +(y, z)), u()),
                +(+(x, y), z) -> +(x, +(y, z))
 }
 DUP: We consider a non-duplicating system.
  Trs:
   {
            +(*(x, y), *(x, z)) -> *(x, +(y, z)),
    +(*(x, y), +(*(x, z), u())) -> +(*(x, +(y, z)), u()),
                  +(+(x, y), z) -> +(x, +(y, z))
   }
  Fail