bugfix: negative equivalence elimination occurs without conditions
bugfix: negative equivalence elimination occurs without conditions

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