This requires some, hopefully not too difficult to do, code changes due to the [refactoring of SulWrapper](https://github.com/protocol-fuzzing/protocol-state-fuzzer/pull/101).