Transforme afirmações HUnit em propriedades QuickCheck
