Separated candidate term generation from implication graph.
Flags, stats, better logging, working invgen.