Using C++11 to simplify constructor
Using C++11 to clean up constructor
Moving functions from header to implementation
Removing gate-based ER. It was a poor version of BVA

:(
More standard printing
Removing ER config. The algo has been removed already
Find and work with gates after BVE & BVA
Operators defined for OccurClause
Lock top 500 UIP-used clauses into the DB
Delete useless comment