A mocking library particularly suitable for stateful property based testing