bugfix in zipper: stornger purification avoid some spurious saturations
bugfix in zipper: stornger purification avoid some spurious saturations

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition