Giving additional range hint to SCEV

Hi,
I am using ScalarEvolution::isKnownPositive for my project. Sometimes the expressions that I pass in have known ranges (e.g., x >= 2) that Scalar Evolution doesn’t know about (in my case these constraints only hold in some paths). Is there a way for me to pass that range constraint along?
Best,
Tom

I should add that I am trying to avoid modifying or making my modified version of getRangeRef.