Better name for back-numberer from outside to outer
Using a helper function to refactor
Fixing analyzeFinal

Clause's first literal is not supposed to be checked
Better explanation for why we need assumptionsSet
Better assert() message
Fixing some #define names
Making addClauseHelper faster by only running debug when it's asked for