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