Fix quantified expressions.