HOL.Quickcheck_Narrowing