Adding HOWTO on doing analysis runs
Initialize printAllRestarts
No need to add build flags that are added later anyway
Initialize BlockedClause() with wrong data

So we can catch it later in case of bug
litsRemStrengthen was removed from use but not removed from declaration
Initializing globalIndex to 0

Though it would be initialized to 0 at find2LongXors() anyway
Remove "2-long XOR" name, instead use SCC
Reverse initialization during construction