Skolemization is passing tests