The current version of pack quickcheck does not contain a file prolog/shrink.pl
quickcheck
prolog/shrink.pl