Quantified_Boolean_formula loading ...