Renaming function
Don't update var activities due to varreplacer
Fixing a bug around varreplacer's performreplace

Also, the updating of assumptions should not be the responsiblity of
VarReplacer but of Solver
Renaming functions

No semantic change
Renaming functions
Cleaning up component finder
Refactoring component finder
Refactoring component finder
Using print_times in compfinder
Refactoring component finder's long functions
Further cleanup (and a no-sql-dump bug squash) in component finder