Correctly handle quantified-variable creation in expression folding