extrapolate-0.2.2: generalize counter-examples of test properties