Inserting QuantifiedVariableList into QuantifiedFormula

[xbauch]

I think that QuantifiedFormula should have a non-const version of list(), or is there another way of inserting the list?