Should only count the wentThrough when we actually tried subsuming with a clause
Count TRI separately from longer
Complexity counter is counting cost

There was a bug when the strategy used was to actually count the impact

Also, cost of -1000 is GOOD not BAD. So invert the sign.
Just cleaning up code
Subs must not be re-created all the time, this is very-very wasteful
No need for subsLits to be re-allocated all the time
Better printing of logs
Better naming of function subsume0()

There were 2. Very confusing
Don't crate CPack
Better line-breaks for vec.h
Cleaning up indentation&etc. for vec.h