do simple ite rewriting within quantifiers