prepare to skolemization