Fix exportation of expressions and clauses in VeriT's format
Fix exportation of conclusion