On Quantifier Shifting for Quantified Boolean Formulas