slightly more complex TSTP printing, that fixes a weird bug of numerotation of clauses
slightly more complex TSTP printing, that fixes a weird bug
of numerotation of clauses

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition