Add support for SmallCheck properties