intervalCutTerms proves numeric bounds for the given term and adds them to the current antecedent.
See also