Over/underapproximation in stats should be an error
(Unless it is explicitly declared to be OK.)
cc
@kaushikcfd