Reimplementação segura do núcleo de QuickCheck
