added skolemization option for eager bit-blasting