extrapolate-0.0.1: generalize counter-examples of test properties

Index - V

VarTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
varTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
varsTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
vassignmentsTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate