Negative invariant example
Reported values for variable x fall into a range of size r that includes 0
For a given value of x, the probability it is not 0 is 1-1/r (assuming uniform distribution)
With v values, the probability x is never 0 is (1-1/r)v
If this is less than a user-defined confidence level, then the invariant x?0 is reported