extrapolate-0.3.1: generalize counter-examples of test properties