Add skolemization to tests