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 'k'?</div><div><br></div><div>
For now, the best that I can imagine  is to unconstraint dimension 'k' and check whether the original one and the one with dimension 'k' unconstrained equals. I guess this is not the right way in PPL. In addition, maybe 'unconstrain' 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>