Tests if an expression is greater than 0.
Returns TRUE if the expression pointed to by ptr is known to be positive (not zero), FALSE otherwise.