Adding preliminary bounded variable addition
Adhering to 80-character limit
Refactoring code to make it easier to read
Renaming functions and variables to better reflect their purpose
Renaming struct for better understandability
Cleaning up printing during BVA
Using lambdas -- less code but less efficient :S
Using less lambdas, this speeds up things
Cleaning up code with renamings and better passing of structures
Using lambda expressions and removing use of get_lits() from BVA
Using a more-tailor-made for_each & lambda
Compile with -O3 not -O4. O4 doesn't exist most of the time anyway
Adding code for using lambdas, some of them commented out

Currently, speed is greatly impacted if lambdas are used :(
Better printing of BVA results
Fixing speed issues with lambda functions
Using more lambda functions and for_each_lit

It's fast and leads to clean code
Removing function that is too expensive to call
Make these loops go through references. Doesn't speed up things

But less inexperienced people might think it's a good idea to speed up
the program.
Remove too much verbosity from BVA
Using functions for cleaner code