julia

fcfe875b - inference: work on making the termination heuristics work correctly

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