Cool! Thanks for the tool!
> Imagine you've implemented a complex caching strategy for some objects in your database and a stale cache is simply not acceptable.
I hope you have a formal specification of that cache. That will help ensure your design is correct in the first place before you even get to running it in code.
I shall be playing with this soon. Cheers!