Such checks should not be called anyways. If the user provides data, then you should make sure you check that the data is good (i.e. positive)  But in this case, you are just checking your own code. Rather make sure the variance is always positive then checking it. Imagine a user gets this error "Variance should always be positive" and this is not caused by wrong input. This doesnt help at all and just confuses.