How to implement custom stateful domains

Hi,

I'd like to use FuzzTest to test my event-driven state machines by feeding them random events. However, the events are stateful, meaning that by contract a state machine could assume that e.g. once an `EVENT_OPEN` is sent to it, `EVENT_OPEN` must not be re-sent before an `EVENT_CLOSE` is sent first.
Is there any way to achieve this with `fuzztest`?

Thanks!