[ptero]

I agree with the approach. However, specific examples of different badnesses are useful for testing the final product.

[kazinator]

I.e. move enumeration of badness from code into test-cases.