QuickCheck and loops