PropertyTest for feature checks.