Add skolemization.