Hello, dear PPL developers,  
<div><br></div><div>I have a naive question. </div><div><br></div><div>I there built-in function in PPL to test whether an abstract domain has universe dimension (i.e. \top) at index &#39;k&#39;?</div><div><br></div><div>
For now, the best that I can imagine  is to unconstraint dimension &#39;k&#39; and check whether the original one and the one with dimension &#39;k&#39; unconstrained equals. I guess this is not the right way in PPL. In addition, maybe &#39;unconstrain&#39; is approximative, to test equality between the original and the unconstraint does not make sense?</div>
<div><br></div><div>What is your opinion? </div><div><br></div><div>Thank you for your help. </div><div><br></div><div>Zhoulai</div><div><br></div><div>p.s for info, I am using Java interface of PPL. </div>