safer skolemization