Added missing quickCheck properties;