Clean-ups.
Clean-ups.

  Removing unneeded things, and slight reformulations. No behaviour
  changed.

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