Giving additional range hint to SCEV

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?

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