replaced superposition axioms with a dedicated elimination rule
replaced superposition axioms with a dedicated elimination rule

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