Examples for "Property Based Testing for Better Code"