<div dir="ltr">Hi,<div>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?</div><div>Best,</div><div>Tom</div></div>