Extended SCC and cleaned up config for SCC
Oops, this is very important, otherwise problems can come up
Replacement of vars is needed, otherwise simplifier doesn't work
Better comment
Using cache to subsume implicit 3-longs
Adding data to implied literal cache during search
Agility limit should be lower -- we are restarting too fast