ite removal option for quantifiers --ite-remove-quant, e-matching for boolean terms, improvement for pre skolemization