<div dir="ltr">I should add that I am trying to avoid modifying or making my modified version of `getRangeRef`.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Aug 24, 2021 at 1:04 PM Tom Chen <<a href="mailto:cyt046@gmail.com">cyt046@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><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>
</blockquote></div>