extrapolate-0.4.6: generalize counter-examples of test properties