Refactor quantifier prenex option.  By default, do not pull quantifiers with user patterns.