For values that unit-threaded doesn't know how to generate, test that the Predicate holds, using Generator to come up with new values.
See Implementation
For values that unit-threaded doesn't know how to generate, test that the Predicate holds, using Generator to come up with new values.