Tinkering and pretty-printing works again!
Print out number of equations added to pruner.
Pretty-print terms ourselves.