Skip to content

Over/underapproximation in stats should be an error

(Unless it is explicitly declared to be OK.)

cc @kaushikcfd