extrapolate

Extrapolate is a tool able to provide generalized counter-examples of test properties where irrelevant sub-expressions are replaces with variables. For the incorrect property \xs -> nub xs == (xs::[Int]): [0,0] is a counter-example; x:x:_ is a generalized counter-example.