changed the printing of the formula and of the clauses