Add QuickCheck test
add OCLint