blanchet [Fri, 18 Dec 2009 14:02:58 +0100] rev 34128
made Quickcheck take structured proof assumptions into account (like Refute and Nitpick) by default;
up to now, only Auto Quickcheck did -- the old behavior is available by passing "no_assms" as option