Fix to bound-by-constant checking when ordering candidates for numerical inequalities abduction. Conceptual improvement to the split phase of the main algorithm related to the atomized form idea: the `abductive_holds` function.