extrapolate-0.2.4: generalize counter-examples of test properties