InferTests also has property test