MAYBE
MAYBE
TRS:
 {and(not(not(x)), y, not(z)) -> and(y, band(x, z), x)}
 DUP: We consider a duplicating system.
  Trs:
   {and(not(not(x)), y, not(z)) -> and(y, band(x, z), x)}
  Fail