Fixing printing bug
Renaming wrongly named variable
We were decrementing a different limit than we should have during BVA
Calculating better limits for BVA
Using seen2 to *significantly* speed up BVA

Checking for whether a literal is in a list is now done in O(1) time
instead of O(n) time