All tagged property-based testing