Bugfix: really use the passed assumptions in 'toDimacs()'.
Bugfix: really use the passed assumptions in 'toDimacs()'.

meteor/minisat,jamesbornholt/minisat,mabdula/minisat,robertsami/minisat,meteor/minisat,meteor/minisat,niklasso/minisat,niklasso/minisat,mabdula/minisat,meteor/minisat,mabdula/minisat,jamesbornholt/minisat,robertsami/minisat