Change default option of simple ite lifting within quantifier bodies.  add some debug messages.