Cleaning up the code a bit
Moving code around to make it clearer
Reversing checking order for clarity
Using a ranged loop for clarity
Using const to ease understanding
Fixing bug about not checking red/irred
Optimisation: if maxSize = 0, there are no clauses in watchlist
Using '0' instead of 'false' when setting 'seen'/'seen2'
Using const-ness for clarity
Use space between X&&Y
Detaching is not that simple: it manipulates current watchlist!
Ooops, mixed up this_cl and other_cl. Also, adding asserts.
No need to clear() it, it's cleared already
Using more const-ness
Random starting point for finding gates
Adding "[comp]" in front of component finding&handling
Better printing of time-out status during propagation
Incrementing bogoProps when enqueueing

This was not done before, but that was not a good. To measure time
properly, it has to be incremented
Moving implicit subsumption to its own CPP&H file
The time & usefulness report on strengthening impl w/ impl is wrong