MAYBE
Trs:
 {and(not(not(x)), y, not(z)) -> and(y, band(x, z), x)}
 Comment:
  We consider a duplicating trs.
  FAIL:
   Open