ind: bugfix, minimality clauses need skolem instantiation (negated forall)
ind: bugfix, minimality clauses need skolem instantiation (negated forall)

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