Add the three-variable heuristic.
Print out the equation before adding it to the theory.
Complete up to the maximum term size.
Fix off-by-one error in completion.
Make it easier to switch tracing on and off.
Don't needlessly complete, improves tracing
Don't use extraPruner, completion takes care of it.
Make it even easier to switch off tracing.