Propositional_formula loading ...