Making the header file compile without c++11

This allows for a much easier integration with other tools
Using ranged for loops
Clearning 'toClear' after every use

Instead of a mix of before&after every use. Inconsistency is really not
a good idea.
Making magic constant visible in config
Fixing compile issue with default varelim clause number cutoff