implementation of skolemization has completed