Tests if an expression is >= 0.
Returns TRUE if the expression pointed to by ptr is known to be positive or zero, FALSE otherwise.