Simplify quickCheck property.
Added property check for Booleans.