extrapolate-0.4.4: generalize counter-examples of test properties