removed bug where 0\ was printed and not added to clauses