I haven’t tried it lately but how well are these models in generating property based tests?