bugfix: reversed skolem terms in the negative extensionality rule.
bugfix: reversed skolem terms in the negative extensionality rule.

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