quickcheck style search for inconsistencies
Merge pull request #8 from namin/master

quickcheck style search for inconsistencies