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

See also