Question: If over assumed variables

Hi

I'm sorry if this is a silly question, but why if I assume

assume(a>0);

I can't use this information as a bolean test for an if cycle?

 

if a >0 then a end if;
Error, cannot determine if this expression is true or false: 0 < a
 

Thank for any hints

S.

Please Wait...