Plausible beyond Decidable?

Stream: Is there code for X?

[GasStationManager]

(I'm just recently started to play with Plausible, so apologies if this has been asked before)
Plausible seems to require that the property being tested is Decidable. Is it possible to instead allow the user to provide a user-defined procedure to test the property, returning true / false / "gave up"? (E.g. automated proving tool like aesop, or even just some combination of simp/omega/ring..)

If that doesn't exist in Plausible yet, can one use the Sampleable interface to get a list of randomly generated variable assignments?

[Eric Wieser]

My take is that such a feature is definitely where Plausible needs to end up, but would entail an almost-complete rewrite

[Eric Wieser]

I believe the other key limitation right now is that only computable elements can be sampled