Not getting falsifying example

[Amihai Offenbacher]

Hey,

I'm using stateful testing on a class that is a sort of DB (so has actions like add, delete, update). My main problem is that when it fails it doesn't show the example that made it fail, only `actual` and `expected`. It's extremely hard to debug this way. 

What am I missing?