extrapolate-0.4.2: generalize counter-examples of test properties