inference: work on making the termination heuristics work correctly

now that our inference convergence algorithm is reasonably reliable,
this is a starting point for making the inference capabilities even better

Author: vtjnash