Use Case for Stateful Property Testing in Go