It would be cool if you could also use the exact same interface for coverage based fuzzing, creating a unified property testing/fuzzing/formal verification interface.